15777 search results - page 2398 / 3156 » Software Engineering |
194
click to vote
BPM
2003
Springer
16 years 20 days 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...
192
click to vote
EMSOFT
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
171
click to vote
EMSOFT
2003
Springer
16 years 20 days ago
2003
Springer
Abstract. In this paper, we explain mechanisms for providing embedded network processors and other low-level programming environments with light-weight support for safe resource sh...
161
click to vote
FATES
2003
Springer
16 years 19 days 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...
191
click to vote
FOSSACS
2003
Springer
16 years 19 days ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...