1136 search results - page 171 / 228 » A Multi-variant Approach to Software Process Modelling |
104
Voted
IFM
2009
Springer
15 years 9 months ago
2009
Springer
In current model-driven development approaches, software models are the primary artifacts of the development process. Therefore, assessment of their correctness is a key issue to e...
124
click to vote
WSC
1998
15 years 3 months ago
1998
A regional transportation system and the movement of large traffic volumes through it, are characteristic of stochastic systems. The standard traffic management or transportation ...
118
click to vote
SAC
2000
ACM
15 years 6 months ago
2000
ACM
Since 1990 the Web has changed from a distributed hypertext system to an efficient environment for application delivery. Due to the legacy of the Web implementation model the deve...
146
click to vote
AI50
2006
15 years 6 months ago
2006
Abstract. This paper describes a multi-disciplinary initiative to promote collaborative research in enactive artificial cognitive systems by developing the iCub : a open-systems 53...
106
click to vote
ISSTA
2009
ACM
15 years 9 months ago
2009
ACM
This paper presents techniques for analyzing channel contract specifications in Microsoft Research’s Singularity operating system. A channel contract is a state machine that sp...