27354 search results - page 4585 / 5471 » Distributed And Parallel Computing |
188
Voted
ERSHOV
2003
Springer
16 years 27 days ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
191
Voted
FM
2003
Springer
16 years 27 days ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
233
click to vote
HSNMC
2003
Springer
16 years 26 days ago
2003
Springer
Various Internet applications involve multiple parties and usually adopt a one-to-many communication paradigm (multicast). The presence of multiple receivers in a multicast session...
225
click to vote
ICALP
2003
Springer
16 years 26 days ago
2003
Springer
We investigate the protection of migrating agents against the untrusted sites they traverse. The resulting calculus provides a formal framework to reason about protection policies ...
200
click to vote
ICANN
2003
Springer
16 years 26 days ago
2003
Springer
The concept of semantic and context aware intelligent systems provides a vision for the Information Society where the emphasis lays on computing applications that can sense context...