1415 search results - page 81 / 283 » Verified systems by composition from verified components |
157
click to vote
ISSS
2000
IEEE
15 years 10 months ago
2000
IEEE
The ever increasing complexity of embedded systems consisting of hardware and software components poses a challenge in verifying their correctness, New verification methods that o...
176
click to vote
EUROPLOP
2006
15 years 7 months ago
2006
Peer-to-peer systems typically operate in large-scale, highly unreliable and insecure environments. Tackling this complexity requires good software design. Yet, many peer-to-peer ...
178
click to vote
IBERAMIA
2004
Springer
15 years 11 months ago
2004
Springer
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
163
click to vote
AIPS
2006
15 years 7 months ago
2006
We present an architecture that provides a robust, scalable and flexible software framework for planning and scheduling systems through the use of standardized industrial-strength...
177
click to vote
COR
2008
15 years 4 months ago
2008
Quantitative performance modeling of complex information systems is of immense importance for designing enterprise e-business infrastructures and applications. In this paper, we p...