1508 search results - page 76 / 302 » Toward Software Plug-and-Play |
BPM
2003
Springer
14 years 2 months ago
2003
Springer
Process programming is regarded as a critical approach in many cooperative process related areas including software engineering, workflow management, business process management, e...
FATES
2003
Springer
14 years 2 months ago
2003
Springer
We present work on a tool environment for model-based testing with the Abstract State Machine Language (AsmL). Our environment supports semiautomatic parameter generation, call seq...
FAST
2009
13 years 7 months ago
2009
The lineage of a piece of data is of utility to a wide range of domains. Several application-specific extensions have been built to facilitate tracking the origin of the output th...
DEBS
2010
ACM
13 years 5 months ago
2010
ACM
Mobile XSiena is a novel publish/subscribe platform which seeks to extend the XSiena content-based publish/subscribe system in order to support user mobility and create an experim...
CAV
2009
Springer
14 years 9 months ago
2009
Springer
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...