1723 search results - page 129 / 345 » Generalized file system dependencies |
149
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
This paper presents a theoretical study of decentralized control for sensing-based shape formation on modular multirobot systems, where the desired shape is specified in terms of ...
131
click to vote
ICSE
2005
IEEE-ACM
15 years 9 months ago
2005
IEEE-ACM
Although attractive, CBD has not been widely adopted in domains of embedded systems. The main reason is inability of these technologies to cope with the important concerns of embe...
115
click to vote
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Verifying that a parameterized system satisfies certain desired properties amounts to verifying an infinite family of the system instances. This problem is undecidable ...
128
click to vote
SOCIALCOM
2010
15 years 2 months ago
2010
In recent years, several researchers have proposed techniques for providing users with assistance in understanding and overcoming authorization denials. The incorporation of envir...
155
Voted
RTS
2006
15 years 4 months ago
2006
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...