136 search results - page 22 / 28 » A Modeling Language for Activity-Oriented Composition of Ser... |
ISARCS
2010
13 years 10 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
CGI
1998
IEEE
14 years 24 days ago
1998
IEEE
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...
SIGSOFT
2008
ACM
14 years 9 months ago
2008
ACM
Executable models are increasingly being employed by development teams to implement robust software systems. Modern executable models offer powerful composition mechanisms that al...
MODELS
2009
Springer
14 years 3 months ago
2009
Springer
Product line engineering is an emerging paradigm of developing a family of products. While product line analysis and design mainly focus on reasoning about commonality and variabi...
SEW
2006
IEEE
14 years 2 months ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...