821 search results - page 58 / 165 » A Model Driven Approach to the Analysis of Timeliness Proper... |
ADBIS
2010
Springer
13 years 9 months ago
2010
Springer
The problem of designing suitable conceptual modeling languages for system engineering is far from being solved. In the past years, some works have proposed the use of foundational...
DATE
2006
IEEE
14 years 3 months ago
2006
IEEE
Practitioners of formal property verification often work around the capacity limitations of formal verification tools by breaking down properties into smaller properties that ca...
DEXAW
2005
IEEE
14 years 2 months ago
2005
IEEE
As the complexity of computing systems steadily increases, self-managing systems – as Autonomic Computing Systems (ACS) proposed by IBM – are an adequate approach to minimize ...
FORMATS
2005
Springer
14 years 2 months ago
2005
Springer
Timed automata (TA) are a widely used model for real-time systems. Several tools are dedicated to this model, and they mostly implement a forward analysis for checking reachability...
CIKM
2007
Springer
14 years 3 months ago
2007
Springer
As a promising new technology with the unique properties like high efficiency, scalability and fault tolerance, Peer-toPeer (P2P) technology is used as the underlying network to b...