7209 search results - page 688 / 1442 » Software Engineering for Multi-Agent Systems |
161
click to vote
WER
2007
Springer
16 years 25 days ago
2007
Springer
Complex information systems have numerous design variables that are systematically decided upon during the design process. In high-variability systems, some of these decisions are...
147
click to vote
RE
2004
Springer
16 years 2 days ago
2004
Springer
Tools for managing systems requirements help keeping specifications consistent, up-to-date and accessible. Since the requirements for complex systems are themselves complex inform...
150
click to vote
VMCAI
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
165
click to vote
VMCAI
2004
Springer
16 years 1 days ago
2004
Springer
The method of Invisible Invariants was developed originally in order to verify safety properties of parameterized systems fully automatically. Roughly speaking, the method is based...
175
Voted
IUI
2003
ACM
15 years 12 months ago
2003
ACM
In this paper, we describe the development of a virtual human to be used for training applications in the field of cardiac emergencies. The system integrates AI techniques for sim...