5525 search results - page 288 / 1105 » Verification of Model Transformations |
144
click to vote
ICSE
2001
IEEE-ACM
15 years 9 months ago
2001
IEEE-ACM
A good object-oriented design does not necessarily make a good component-based design, and vice versa. What design principles do components introduce? This paper examines componen...
143
Voted
ATAL
2000
Springer
15 years 9 months ago
2000
Springer
In this paper we propose a methodology to help analyse tendencies in MAS to complement those of simple inspection, Monte Carlo and syntactic proof. We suggest an architecture that ...
137
Voted
WSC
2007
15 years 7 months ago
2007
This paper presents the case that education in the 21st Century can only measure up to national needs if technologies developed in the simulation community, further enhanced by th...
157
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...
115
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
: In recent years environmental and energy conservation issues have taken the central theme in the global business arena. The reality of rising energy cost and their impact on inte...