3451 search results - page 360 / 691 » The Architecture and Implementation of Resource Space Model ... |
247
Voted
HPTS
1993
15 years 11 months ago
1993
Elements of transaction processing become more and more accepted as a base for general purpose distributed computing.We have developed an action concept with an extended functiona...
186
Voted
EMSOFT
2004
Springer
16 years 4 days ago
2004
Springer
Esterel is a system-level language for the modelling, verification and synthesis of control dominated (reactive) embedded systems. Existing Esterel compilers generate intermediat...
169
click to vote
GPCE
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Model-driven architecture envisions a paradigm shift as dramatic as the one from low-level assembler languages to high-level programming languages. In order for this visi...
150
click to vote
FM
2001
Springer
15 years 11 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
207
click to vote
CLEIEJ
2004
15 years 6 months ago
2004
This paper presents a component-based product line for workflow management systems. The process followed to design the product line was based on the Catalysis method. Extensions w...