2226 search results - page 258 / 446 » Pdk: The System and Its Language |
155
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
170
click to vote
ASPLOS
2006
ACM
16 years 18 days ago
2006
ACM
This paper presents a software architecture for hardware fault tolerance based on loosely-synchronized, redundant virtual machines (LSRVM). LSRVM will provide high levels of relia...
178
click to vote
CAISE
2005
Springer
16 years 2 days ago
2005
Springer
Service Oriented Architectures are increasingly being used to achieve interoperability among heterogeneous systems. SOAs help developers to integrate different architectures in ord...
189
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...
178
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Enormous amounts of information are produced every day, all over the world. but very little of it is true. In this paper, we describe the modeling component of a current events an...