984 search results - page 24 / 197 » Experimenting with Multi-Level Models in a Two-Level Modelin... |
138
click to vote
ECBS
2006
IEEE
15 years 7 months ago
2006
IEEE
The paper depicts experiments and results with preditraction based verification applied to infinite state Predicate abstraction is a method for automatic tion of abstract state sp...
177
Voted
ICSE
2009
IEEE-ACM
16 years 4 months ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
127
click to vote
FPL
2006
Springer
15 years 7 months ago
2006
Springer
We present a heavily parametrized tool suite that allows the modeling and exploration of heterogeneous, coarse-grained, heavily pipelined reconfigurable architectures. Our tools p...
115
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Overture is a community-based initiative that aims to develop a common open-source platform integrating a range of tools for constructing and analysing formal models of systems us...
133
Voted
AIED
2005
Springer
15 years 9 months ago
2005
Springer
Intelligent Tutoring Systems are notoriously costly to construct [1], and require PhD level experience in cognitive science and rule based programming. The goal of this research wa...