7580 search results - page 1011 / 1516 » Prometheus design tool |
175
click to vote
GPCE
2003
Springer
16 years 2 days ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
144
click to vote
COOPIS
2002
IEEE
15 years 12 months ago
2002
IEEE
Abstract. Filtered delivery model of message passing in an objectoriented distributed computing environment facilitates separation of message control from message processing in a t...
244
click to vote
DANCE
2002
IEEE
15 years 12 months ago
2002
IEEE
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
167
click to vote
DATE
2002
IEEE
15 years 12 months ago
2002
IEEE
The problem of fault grading for multiple path delay faults is studied and a method of obtaining the exact coverage is presented. The faults covered are represented and manipulate...
211
click to vote
HAPTICS
2002
IEEE
15 years 12 months ago
2002
IEEE
Haptic Interfaces have been used as cooperative systems to reproduce and simulate human actions. The Haptic Interface (HI) can be used as a tool capable of interacting dynamically...