7209 search results - page 1111 / 1442 » Software Engineering for Multi-Agent Systems |
106
Voted
ADAEUROPE
2005
Springer
15 years 6 months ago
2005
Springer
: In previous papers we had presented an application program interface (API) that enabled applications to use application-defined scheduling algorithms for Ada tasks in a way compa...
104
Voted
FASE
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
109
click to vote
FASE
2005
Springer
15 years 6 months ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
108
click to vote
FATES
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
107
click to vote
IUI
2004
ACM
15 years 6 months ago
2004
ACM
While sketches are commonly and effectively used in the early stages of design, some information is far more easily conveyed verbally than by sketching. In response, we have combi...