592 search results - page 77 / 119 » Can Component Service-Based Systems Be Proved Correct |
EXACT
2007
13 years 10 months ago
2007
In the past five years, we have designed and evolved an interlingua for sharing explanations generated by various automated systems such as hybrid web-based question answering sys...
COMPSAC
2007
IEEE
13 years 7 months ago
2007
IEEE
Lose sight of the existence of system crosscutting concerns, e.g. safety and quality etc, often causes the system hard to maintain and evolve according to the changing environment...
CASES
2001
ACM
13 years 11 months ago
2001
ACM
Increased systems level integration has meant the movement of many traditionally off chip components onto a single chip including a processor, instruction storage, data path, and ...
SAB
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper, we review methods used for macroscopic modeling and analyzing collective behavior of swarm robotic systems. Although the behavior of an individual robot in...
ICS
2009
Tsinghua U.
13 years 5 months ago
2009
Tsinghua U.
Data de-duplication has become a commodity component in dataintensive systems and it is required that these systems provide high reliability comparable to others. Unfortunately, b...