2153 search results - page 267 / 431 » From Requirements Models to Formal Specifications in B |
158
click to vote
KIVS
1997
Springer
15 years 10 months ago
1997
Springer
The object model is a very popular paradigm for building distributed applications. Several standardisation efforts are underway that define architectures for distributed computing...
151
click to vote
CAISE
1993
Springer
15 years 10 months ago
1993
Springer
Animation is a multiple graphical view of a process in action. Animation has been successfully employed in programming for designing, developing and debugging programs or monitori...
128
click to vote
EDO
2000
Springer
15 years 10 months ago
2000
Springer
Abstract Designing and maintaining a distributed system requires consideration of dependencies and invariants in the system's model. This paper suggests expressing distributio...
161
click to vote
WSC
2000
15 years 7 months ago
2000
Designing semiconductor cluster tool systems is a complicated task due to the nature of automatic operations and various configurations of modules and task response priorities of ...
163
click to vote
ICOST
2007
Springer
16 years 17 days ago
2007
Springer
This paper formalizes three kinds of safety to be satisfied by networked appliances and services in the emerging home network system (HNS). The local safety is defined by safety ...