Sciweavers

14331 search results - page 319 / 2867
» On the modeling and analysis of obligations
Sort
View
KBSE
2008
IEEE
16 years 1 months ago
Using dependency model to support software architecture evolution
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
Hongyu Pei Breivold, Ivica Crnkovic, Rikard Land, ...
IJON
2008
114views more  IJON 2008»
15 years 6 months ago
A robust model for spatiotemporal dependencies
Real-world data sets such as recordings from functional magnetic resonance imaging often possess both spatial and temporal structure. Here, we propose an algorithm including such ...
Fabian J. Theis, Peter Gruber, Ingo R. Keck, Elmar...
MODELS
2009
Springer
15 years 11 months ago
From UML to Alloy and Back Again
Abstract. Model Transformations can be used to bridge the gap between design and analysis technical spaces by creating tools that allow a model produced by a designer to be transfo...
Seyyed M. A. Shah, Kyriakos Anastasakis, Behzad Bo...
ENTCS
2010
119views more  ENTCS 2010»
15 years 6 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
ISORC
2003
IEEE
16 years 8 hour ago
Probabilistic Simulation-Based Analysis of Complex Real-Time Systems
Many industrial real-time systems have evolved over a long period of time and were initially so simple that it was possible to predict consequences of adding new functionality by ...
Anders Wall, Johan Andersson, Christer Norströ...