525 search results - page 84 / 105 » Model Checking Systems of Replicated Processes with Spin |
153
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
UML statechart diagrams have become an important technique for describing the dynamic behavior of a software system. They are also a significant element of OO design, especially in...
143
click to vote
DOLAP
2004
ACM
15 years 10 months ago
2004
ACM
Parallelism can be used for major performance improvement in large Data warehouses (DW) with performance and scalability challenges. A simple low-cost shared-nothing architecture ...
166
Voted
SIGSOFT
2002
ACM
16 years 5 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...
157
click to vote
CAISE
2000
Springer
15 years 8 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
176
click to vote
PODC
2012
ACM
13 years 6 months ago
2012
ACM
In recent years, there have been a few proposals to add a small amount of trusted hardware at each replica in a Byzantine fault tolerant system to cut back replication factors. Th...