1681 search results - page 207 / 337 » Formal Design of Distributed Control Systems with Lustre |
211
click to vote
SACMAT
2011
ACM
14 years 23 days ago
2011
ACM
In this paper, we present an approach for identity and access management (IAM) in the context of (cross-organizational) serviceoriented architectures (SOA). In particular, we deļ¬...
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
AbstractāTodayās wirelessly networked embedded systems underlie a vast array of electronic devices, performing computation, communication, and input/output. A major design goal...
DIMACS
1996
14 years 11 months ago
1996
There is a growing recognition of the need to apply formal mathematical methods in the design of \high con dence" computing systems. Such systems operate in safety critical co...
SSS
2007
Springer
15 years 4 months ago
2007
Springer
We consider Cooperative Intrusion Detection System (CIDS) which is a distributed AIS-based (Artiļ¬cial Immune System) IDS where nodes collaborate over a peer-to-peer overlay netwo...
100
click to vote
PDCN
2004
14 years 11 months ago
2004
IEEE 802.11, the standard of wireless local area networks (WLANs), allows the coexistence of asynchronous and time-bounded traffic using the distributed coordination function (DCF)...