1939 search results - page 295 / 388 » Dynamic Lex Constraints |
SACMAT
2009
ACM
14 years 4 months ago
2009
ACM
Collaborative and distributed applications, such as dynamic coalitions and virtualized grid computing, often require integrating access control policies of collaborating parties. ...
CDC
2008
IEEE
14 years 4 months ago
2008
IEEE
— Safety must be ensured in the deployment of multi-agent vehicle systems. This paper presents decentralized collision avoidance algorithms for systems with second order dynamics...
COMPSAC
2008
IEEE
14 years 4 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
With the advance of SAT solvers, transforming a software program to a propositional formula has generated much interest for bounded model checking of software in recent years. How...
ICASSP
2008
IEEE
14 years 4 months ago
2008
IEEE
Here we present a new approach to automatically detect and count breeding Greater Flamingos (Phoenicopterus Roseus) on aerial photographsof their colonies. We consider a stochasti...