575 search results - page 50 / 115 » Simulating the Structural Evolution of Software |
147
click to vote
FOSSACS
2010
Springer
16 years 14 days ago
2010
Springer
Abstract. Spatial logics have been introduced to reason about distributed computation in models for concurrency. We first define a spatial logic for a general class of infinite-...
130
click to vote
BIBE
2007
IEEE
16 years 10 days ago
2007
IEEE
Abstract-MCell is a Monte Carlo simulator of cell microphysiology, and the scalable variant can be used to study challenging problems of interest to the biological community. MCell...
134
click to vote
DATE
2007
IEEE
16 years 10 days ago
2007
IEEE
AUTOSAR is a recent specification initiative which focuses on a model-driven architecture like methodology for automotive applications. However, needed engineering steps, or how-t...
194
click to vote
ATAL
2004
Springer
15 years 11 months ago
2004
Springer
One of the key problems in the study of multi agent systems in which the agents exhibit continuous behavior is the automatic recognition and analysis of intentional activities bas...
191
click to vote
COMCOM
2004
15 years 5 months ago
2004
The evolution of the Internet towards a global infrastructure for real time voice and video applications involves providing stringent Quality of Service (QoS) levels. Although som...