1888 search results - page 157 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
163
click to vote
ASM
2008
ASM
15 years 8 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
153
click to vote
RE
2005
Springer
15 years 12 months ago
2005
Springer
A framework for requirements analysis is proposed that accounts for individual and personal goals, and the effect of time and context on personal requirements. The implications of...
160
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Programmers and users of compute intensive scientific applications often do not want to (or even cannot) code load balancing and fault tolerance into their programs. The PBEAM syst...
214
click to vote
IJITN
2010
15 years 3 months ago
2010
With the proliferation of inexpensive cameras and the availability of high-speed wired and wireless networks, systems of distributed cameras are becoming an enabling technology fo...
164
click to vote
AINA
2007
IEEE
16 years 24 days ago
2007
IEEE
In recent years a movement from distributed systems controlled by users to automatic, autonomous and self-configuring distributed systems is noticeable. Web services is one approa...