1681 search results - page 257 / 337 » Formal Design of Distributed Control Systems with Lustre |
SAC
2004
ACM
14 years 1 months ago
2004
ACM
1 This paper discusses the design and implementation details of MAST (Mobile Agent-based Security Tool), a new mobile agentbased network security approach. MAST has been designed t...
CEC
2007
IEEE
14 years 2 months ago
2007
IEEE
— Online service provision is becoming increasingly decentralized as system designers pursue the benefits gained from utilizing nodes at the periphery of the network. However, d...
PEWASUN
2004
ACM
14 years 1 months ago
2004
ACM
In this paper, we introduce a modified version of the IEEE 802.11a protocol and evaluate its performance. The new protocol is a combination of the standard Medium Access Control (...
ICONFERENCE
2011
13 years 2 months ago
2011
In this paper, we present findings from a qualitative study of producers in a specific creative domain—online digital photography. We used social psychology and linguistic conce...
WADT
1999
Springer
13 years 12 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...