Sciweavers

2173 search results - page 142 / 435
» The Evolution of the DARWIN System
Sort
View
ECOOPW
1998
Springer
14 years 1 months ago
Program Restructuring to Introduce Design Patterns
In restructuring legacy code it may be useful to introduce a design pattern in order to add clarity to the system and thus facilitate further program evolution. We show that aspec...
Mel Ó Cinnéide, Paddy Nixon
ENTCS
2010
119views more  ENTCS 2010»
13 years 9 months ago
Bio-PEPA for Epidemiological Models
Many models have been defined in order to describe the evolution of a disease in a population. The modelling of diseases is helpful to understand the mechanisms for their spread a...
Federica Ciocchetta, Jane Hillston
HICSS
2006
IEEE
130views Biometrics» more  HICSS 2006»
14 years 3 months ago
SERVIAM Maintenance Framework
Web services systems impose additional complexity upon software maintenance and evolution processes. To handle it, we propose a framework for evolving and maintaining Web service ...
Mira Kajko-Mattsson, Michal Tepczynski
JUCS
2007
116views more  JUCS 2007»
13 years 9 months ago
Model Checking: Software and Beyond
: This paper introduces model checking, originally conceived for checking finite state systems. It surveys its evolution to encompass finitely checkable properties of systems wit...
Edmund M. Clarke, Flavio Lerda
SKG
2006
IEEE
14 years 3 months ago
Simulate Grid Resource Trading via Cognitive Agent: A Case Study
In this paper, we explore the market-based grid resource trading system from the social perspective and the collaborative computing perspective. We firstly introduce a novel fram...
Yuhui Qiu, Zhixing Huang