1508 search results - page 76 / 302 » Toward Software Plug-and-Play |
135
click to vote
BPM
2003
Springer
15 years 9 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...
108
Voted
FATES
2003
Springer
15 years 8 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...
130
Voted
FAST
2009
15 years 1 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...
135
Voted
DEBS
2010
ACM
15 years 10 days 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...
126
Voted
CAV
2009
Springer
16 years 4 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...