1382 search results - page 111 / 277 » Strider: Configuration Modelling and Analysis of Complex Sys... |
139
click to vote
FM
2008
Springer
15 years 3 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...
112
click to vote
ISOLA
2010
Springer
15 years 23 hour ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
122
click to vote
CSB
2005
IEEE
15 years 7 months ago
2005
IEEE
The genome projects have provided comprehensive information about the basic building blocks of life. The next challenge is to understand how biological functions emerge from compl...
127
click to vote
CEEMAS
2003
Springer
15 years 6 months ago
2003
Springer
Modeling learning agents in the context of Multi-agent Systems requires an adequate understanding of their dynamic behaviour. Usually, these agents are modeled similar to the di�...
135
click to vote
EH
2004
IEEE
15 years 5 months ago
2004
IEEE
The use of Application Specific Instruction-set Processors (ASIP) in embedded systems is a solution to the problem of increasing complexity in the functions these systems have to ...