1163 search results - page 144 / 233 » Case Studies of Model Checking for Embedded System Designs |
140
click to vote
AC
2000
Springer
15 years 4 months ago
2000
Springer
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...
145
click to vote
ENTCS
2010
15 years 4 months ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
152
click to vote
DAC
2004
ACM
16 years 5 months ago
2004
ACM
In the near future, Ambient Intelligence (AmI) will become part of everyday life. Combining feature-rich multimedia with AmI (dubbed Ambient Multimedia for short) has the potentia...
146
click to vote
ISAS
2004
Springer
15 years 9 months ago
2004
Springer
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...
154
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
In this work we present a new methodology for structure and parameter estimation in cell systems biology modelling. Our modelling framework is based on P systems, an unconl comput...