1940 search results - page 247 / 388 » Dependable Software: An Oxymoron |
157
click to vote
COORDINATION
2005
Springer
16 years 2 days ago
2005
Springer
Architectural descriptions can provide support for a formal representation of the structure and the overall behavior of software systems, which is suitable for an early assessment ...
273
click to vote
EGC
2005
Springer
16 years 2 days ago
2005
Springer
For many remote sensing application projects, the quality of the research or the product is heavily dependent upon the quantity of computing cycles available. Middleware is softwar...
171
click to vote
FOSSACS
2005
Springer
16 years 1 days ago
2005
Springer
traction for Polymorphic Pi-Calculus Alan Jeffrey 1,2 and Julian Rathke3 1 Bell Labs, Lucent Technologies, Chicago, IL, USA 2 DePaul University, Chicago, IL, USA 3 University of Su...
176
click to vote
FOSSACS
2005
Springer
16 years 1 days ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
158
click to vote
ICESS
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...