10159 search results - page 350 / 2032 » System Design Validation Using Formal Models |
150
click to vote
ICSE
2007
IEEE-ACM
15 years 10 months ago
2007
IEEE-ACM
Abstract. We describe an approach to designing and implementing a distributed system as a family of related finite state machines, generated from a single abstract model. Various a...
133
Voted
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— In this paper, we investigate the use of a spherical projection model to search for optimal visual features for visual servoing. A new minimal set of three visual features is p...
122
click to vote
PROMAS
2005
Springer
15 years 9 months ago
2005
Springer
Multi-agent system(MAS) is a blooming research area, which exhibits a new paradigm for the design, modelling and implementation of complex systems. A significant amount of effort...
125
Voted
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
137
click to vote
ASPLOS
2006
ACM
15 years 10 months ago
2006
ACM
Power densities have been increasing rapidly at all levels of server systems. To counter the high temperatures resulting from these densities, systems researchers have recently st...