1879 search results - page 27 / 376 » Extending Reflective Architectures |
CISIS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Security-by-Contract (S×C) is a paradigm providing security assurances for mobile applications. In this work, we present an extension of S×C enriched with an automatic...
C5
2005
IEEE
15 years 3 months ago
2005
IEEE
Croquet is a broadband communications platform with a 3D user interface and peer-to-peer network architecture that provides educators with a new expressive “meta-medium that is ...
CDC
2010
IEEE
14 years 5 months ago
2010
IEEE
The Markov chain approximation method is an effective and widely used approach for computing optimal values and controls for stochastic systems. It was extended to nonlinear (and p...
ICSE
2003
IEEE-ACM
15 years 10 months ago
2003
IEEE-ACM
Ideally, a software project commences with requirements gathering and specification, reaches its major milestone with system implementation and delivery, and then continues, possi...
114
click to vote
WOSP
2000
ACM
15 years 2 months ago
2000
ACM
Interoperability problems arise when complex software systems are constructed by integrating distinct, and often heterogeneous, components. By performing interoperability analysis...