Zobrazeno 1 - 10
of 103
pro vyhledávání: '"V.S. Alagar"'
Publikováno v:
Journal of Systems and Software. 81:286-304
Real-time reactive systems are among the most difficult systems to test because of their size and complex time-dependent functionality. The number of test experiments for such systems is very large, if not infinite. Often such systems arise in safety
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6fe3e1622fb5664e4440782f1c059bae
https://doi.org/10.1016/j.jss.2007.05.009
https://doi.org/10.1016/j.jss.2007.05.009
Autor:
V.S. Alagar, K. Periyasamy
This is a textbook on software specification emphasizing formal methods that are relevant to requirements and design stages of software development. The aim of the book is to teach the fundamental principles of formal methods in the construction of m
The Software Engineering and Knowledgebase Systems (SOFfEKS) Research Group of the Department of Computer Science, Concordia University, Canada, organized a workshop on Incompleteness and Uncertainty in Information Systems from October 8-9, 1993 in M
Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term'information systems'is used here in a very general context to denote database systems, software development
Publikováno v:
Knowledge Science, Engineering and Management ISBN: 9783642397868
KSEM
KSEM
A Cyber Physical System (CPS) can be viewed as a large networked system, distributed geographically with each CPS site having hybrid computing power. A CPS node can be as simple as a sensor or as structured as a research lab with groups of participan
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e4accb1dd8e987b2d469ce15c4a05769
https://doi.org/10.1007/978-3-642-39787-5_8
https://doi.org/10.1007/978-3-642-39787-5_8
Autor:
V.S. Alagar, K. Periyasamy
This extensively revised and updated new edition of Specification of Software Systems builds upon the original focus on software specification with added emphasis on the practice of formal methods for specification and verification activities for dif
Autor:
V.S. Alagar, Kaiyu Wan
Publikováno v:
Intelligent Information Processing VI ISBN: 9783642328909
Intelligent Information Processing
Intelligent Information Processing
An important requirement of autonomic systems is that they self-adapt, both with respect to internal self-healing and with respect to external environmental changes. In order to fulfill this requirement autonomic systems must have awareness abilities
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2a01b97bad9d41e3a8a07ad5ae5cfbfc
https://doi.org/10.1007/978-3-642-32891-6_48
https://doi.org/10.1007/978-3-642-32891-6_48
Autor:
V.S. Alagar, Kaiyu Wan
Publikováno v:
2010 First ACIS International Symposium on Cryptography, and Network Security, Data Mining and Knowledge Discovery, E-Commerce and Its Applications, and Embedded Systems.
This paper introduces context-aware adaptation as an important part of power distribution architectures. In our view context-awareness is a necessary part of administering the business policies concerning power distribution and is orthogonal to the c
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::887bdfadcc7e321df57aaf692234686b
https://doi.org/10.1109/cdee.2010.47
https://doi.org/10.1109/cdee.2010.47
Publikováno v:
Formal Concept Analysis ISBN: 9783642119279
ICFCA
ICFCA
Software that impact our lives are embedded in the environment in which we act and hence our security and safety are dependent on its flawless functioning. An assessment of dependability of such embedded software systems includes an assessment of the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a13ac5f6e0d21ce20c69a3fb94ed21f7
https://doi.org/10.1007/978-3-642-11928-6_3
https://doi.org/10.1007/978-3-642-11928-6_3
Autor:
Kaiyu Wan, V.S. Alagar
Publikováno v:
Service-Oriented Computing – ICSOC 2007 ISBN: 9783540749738
ICSOC Workshops
ICSOC Workshops
Service-oriented systems offer the potential for minimizing the development time of business applications within an enterprise while promoting collaborative joint ventures among enterprisers distributed geographically. Service-oriented applications a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cf2dba1b8b7781ae89a780303aaaef72
https://doi.org/10.1007/978-3-642-01247-1_23
https://doi.org/10.1007/978-3-642-01247-1_23