1615 search results - page 176 / 323 » Distributed Forward Checking |
143
click to vote
ISORC
1999
IEEE
15 years 7 months ago
1999
IEEE
We describe the design of VIP, a graphical front-end to the model checker SPIN. VIP supports a visual formalism, called v-Promela that connects the model checker to modern hierarc...
112
Voted
ECOOPW
1998
Springer
15 years 6 months ago
1998
Springer
Code duplication is considered as bad practice that complicates the maintenance and evolution of software. Detecting duplicated code is a difficult task because of the large amoun...
124
click to vote
HPDC
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper compares the throughput and latency of four protocols that provide total ordering. Two of these protocols are measured with and without message packing. We used a techn...
123
Voted
EDOC
2004
IEEE
15 years 6 months ago
2004
IEEE
Multi-viewpoint approaches allow stakeholders to design a system from stakeholder-specific viewpoints. By this, a separation of concerns is achieved, which makes designs more mana...
94
Voted
ESCIENCE
2006
IEEE
15 years 6 months ago
2006
IEEE
The necessity of a lab course on computer security arises from the students' need to complement course work by hands-on experience. In order to meet the distance teaching dem...