4418 search results - page 147 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
165
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
Social insect societies and more specifically ant colonies, are distributed systems that, in spite of the simplicity of their individuals, present a highly structured social organi...
118
click to vote
AUTOMATICA
2007
15 years 4 months ago
2007
We present a novel systematic method to obtain componentwise ultimate bounds in perturbed sampled-data systems, especially when the perturbations arise due to quantization. The pr...
144
click to vote
SCOPES
2007
Springer
15 years 10 months ago
2007
Springer
Embedded consumer devices are increasing their capabilities and can now implement new multimedia applications reserved only for powerful desktops a few years ago. These applicatio...
139
click to vote
LCPC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The increased popularity of grid systems and cycle sharing across organizations requires scalable systems that provide facilities to locate resources, to be fair in the u...
139
click to vote
IAT
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper introduces an executable coordination specification language, which is able to handle prespecified ways as well as more flexible and generic ways of specifying coordina...