3119 search results - page 483 / 624 » Abstract Requirement Analysis in Multiagent System Design |
168
click to vote
ATAL
2009
Springer
16 years 26 days ago
2009
Springer
We investigate and model the dynamics of two-dimensional stochastic self-assembly of intelligent micro-systems with minimal requirements in terms of sensing, actuation, and contro...
164
click to vote
PARA
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. Ahardware and software environment with performance above 1 Tera ops (teracomputing) is presently required to face the leading computational challenges not only in fundam...
171
click to vote
EDOC
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—A simple and effective composition of software services into higher-level composite services is still a very challenging task. Especially in enterprise environments, Qua...
154
click to vote
COMPSAC
2006
IEEE
16 years 10 days ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
159
click to vote
ISW
2005
Springer
15 years 11 months ago
2005
Springer
In this paper, we examine general mechanisms that a covert channel may exploit and derive new minimum requirements for setting up a covert channel. We also propose a new classifica...