2171 search results - page 56 / 435 » Cooperative Validation in Distributed Control Systems Design |
101
click to vote
ACSAC
1999
IEEE
15 years 5 months ago
1999
IEEE
Decoupling authorization logic from application logic allows applications with fine-grain access control requirements to be independent from a particular access control policy and...
122
Voted
RSP
2006
IEEE
15 years 7 months ago
2006
IEEE
This paper addresses the need to integrate formal assertions into the modeling, implementation, and testing of statechart based designs. The paper describes an iterative process f...
139
click to vote
ECAL
2007
Springer
15 years 7 months ago
2007
Springer
In this paper we describe a model in which artificial evolution is employed to design neural mechanisms that control the motion of two autonomous robots required to communicate th...
101
click to vote
ICDCS
1995
IEEE
15 years 5 months ago
1995
IEEE
MASSIVE is a distributed virtual reality system. It provides rich facilities to support user interaction and cooperation via text, audio and graphics media, and interaction is con...
134
click to vote
TRIDENTCOM
2010
IEEE
14 years 11 months ago
2010
IEEE
Deploying and controlling experiments running on a distributed set of resources is a challenging task. Software developers often spend a significant amount of time dealing with the...