2836 search results - page 378 / 568 » Model Checking for Software Architectures |
159
click to vote
PERVASIVE
2005
Springer
16 years 6 days ago
2005
Springer
Ubiquitous Web systems have to deal with varying context information in order to support context awareness. Accomplishing this requirement necessitates gathering, processing and r...
164
click to vote
EDO
2005
Springer
16 years 7 days ago
2005
Springer
re connector is an abstraction capturing interactions among components. Apart from middleware independence, connectors provide additional services (e.g., adaptation, synchronizati...
167
click to vote
ISORC
2008
IEEE
16 years 1 months ago
2008
IEEE
The Real-Time Specification for Java (RTSJ) [10] is becoming a popular choice in the world of real-time programming. However, the complexities introduced by RTSJ bring the needs ...
133
click to vote
IASTEDSEA
2004
15 years 8 months ago
2004
Short time-to-market is an important requirement for developing web-based systems. Software architecture plays a critical role for time-to-market objective to be satisfied since i...
223
click to vote
JHSN
2006
15 years 6 months ago
2006
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard ...