2578 search results - page 478 / 516 » A Family-Oriented Software Development Process for Engine Co... |
ISSRE
2006
IEEE
15 years 5 months ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
124
click to vote
SELMAS
2005
Springer
15 years 5 months ago
2005
Springer
We argue that it is useful to study classes of Multi-Agent System (MAS) architectures, corresponding to architectural styles in addition to particular tures. In this work we focus ...
AFRIGRAPH
2004
ACM
15 years 5 months ago
2004
ACM
This paper describes the process of designing an authoring tool for virtual environments, using constructivist principles. The focus of the tool is on helping novice designers wit...
SIGSOFT
2007
ACM
16 years 17 days ago
2007
ACM
Asynchronous systems components are hard to write, hard to reason about, and (not coincidentally) hard to mechanically verify. In order to achieve high performance, asynchronous c...
112
click to vote
IUI
2009
ACM
15 years 8 months ago
2009
ACM
Recent years have seen a resurgence of interest in programming by demonstration. As end users have become increasingly sophisticated, computer and artificial intelligence technolo...