6846 search results - page 1062 / 1370 » Developing an Active Observer |
175
click to vote
ECAL
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. We have developed a software system that simulates chemotaxis-based cell aggregation in 2D. The model implemented within the system consists of such cell behaviors as che...
150
click to vote
ECTEL
2007
Springer
16 years 10 days ago
2007
Springer
The paper aims at illustrating the original technical solution provided within an academic institute in order to manage teaching activities, encompassing the coordination of projec...
158
click to vote
ESORICS
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
140
click to vote
FASE
2007
Springer
16 years 10 days ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...
209
click to vote
FASE
2007
Springer
16 years 10 days ago
2007
Springer
The analysis of the evolution of software systems is a useful source of information for a variety of activities, such as reverse engineering, maintenance, and predicting the future...