Sciweavers

13140 search results - page 279 / 2628
» Coupling Component Systems towards Systems of Systems
Sort
View
FORMATS
2007
Springer
16 years 25 days ago
Quantitative Model Checking Revisited: Neither Decidable Nor Approximable
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
Sergio Giro, Pedro R. D'Argenio
VVEIS
2007
15 years 7 months ago
Checking Complex Compositions of Web Services Against Policy Constraints
Research in web services has allowed reusable, distributed, loosely coupled components which can easily be composed to build systems or to produce more complex services. Compositio...
Andrew Dingwall-Smith, Anthony Finkelstein
ISSA
2008
15 years 8 months ago
Immune System Based Intrusion Detection System
The threats and intrusions in IT systems can basically be compared to human diseases with the difference that the human body has an effective way to deal with them, what still nee...
Christoph Ehret, Ulrich Ultes-Nitsche
ICMCS
2006
IEEE
136views Multimedia» more  ICMCS 2006»
16 years 22 days ago
Towards the Application of a Handwriting Interface for Mathematics Learning
We believe handwriting input may be able to provide significant advantages over typing, especially in the mathematics learning domain. The use of handwriting may result in decreas...
Lisa Anthony, Jie Yang, Kenneth R. Koedinger
HICSS
2003
IEEE
139views Biometrics» more  HICSS 2003»
15 years 12 months ago
Modeling of information dominance in complex systems: A system partitioning and hybrid control framework
This paper1 provides a view of modeling the information dominance problem of military systems as representative of modeling other complex systems. The ideas are an extension of ea...
John R. James