Sciweavers

2364 search results - page 22 / 473
» An Engine for Computing Well-Founded Models
Sort
View
195
Voted
TCSB
2010
15 years 2 months ago
Biomodel Engineering - From Structure to Behavior
Biomodel engineering is the science of designing, constructing and analyzing computational models of biological systems. It forms a systematic and powerful extension of earlier mat...
Rainer Breitling, Robin Donaldson, David R. Gilber...
112
Voted
ECOOPW
2006
Springer
15 years 7 months ago
Fractal Component-Based Software Engineering
This article is a report on the 5th international workshop devoted to the Fractal component model that took place the 4th of July 2006 in Nantes, France, as an ECOOP workshop. Prio...
Thierry Coupaye, Jean-Bernard Stefani
132
Voted
ISIPTA
2003
IEEE
111views Mathematics» more  ISIPTA 2003»
15 years 9 months ago
The DecideIT Decision Tool
The nature of much information available to decision makers is vague and imprecise, be it information for human managers in organisations or for process agents in a distributed co...
Mats Danielson, Love Ekenberg, Jim Johansson, Aron...
102
Voted
FOSSACS
2010
Springer
15 years 10 months ago
When Model-Checking Freeze LTL over Counter Machines Becomes Decidable
Stéphane Demri, Arnaud Sangnier