1380 search results - page 113 / 276 » Reasoning about Input-Output Modeling of Dynamical Systems |
WCRE
1999
IEEE
14 years 2 months ago
1999
IEEE
Software architecture, as a vehicle for communication and reasoning about software systems and their quality, is becoming an area of focus in both the forward- and reverseengineer...
INFOCOM
2006
IEEE
14 years 4 months ago
2006
IEEE
— Peer-to-peer systems are becoming increasingly popular, with millions of simultaneous users and a wide range of applications. Understanding existing systems and devising new pe...
ARCS
2006
Springer
14 years 2 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
SIGCSE
2005
ACM
14 years 3 months ago
2005
ACM
In a world of ad-hoc networks, highly interconnected mobile devices and increasingly large supercomputer clusters, students need models of computation that help them think about d...
VRST
2006
ACM
14 years 4 months ago
2006
ACM
Designing and building Virtual Environments is not an easy task, especially when it comes to specifying object behavior where either knowledge about animation techniques or progra...