979 search results - page 86 / 196 » Automated Environment Generation for Software Model Checking |
125
click to vote
IUI
1998
ACM
15 years 6 months ago
1998
ACM
Interactive3Dlearningenvironmentscanproviderichproblemsolving experiences with unparalleled visual impact. In these environments, students interactively solve problems by directin...
100
Voted
ETFA
2008
IEEE
15 years 8 months ago
2008
IEEE
Fieldbus networks have significantly improved flexibility and management in classic building automation domains. However, the costs of such installations are still greatly affec...
113
click to vote
LPAR
2010
Springer
15 years 5 days ago
2010
Springer
A rational and selfish environment may have an incentive to cheat the system it interacts with. Cheating the system amounts to reporting a stream of inputs that is different from ...
148
Voted
CC
2009
Springer
15 years 2 days ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...
137
Voted
ICSE
2009
IEEE-ACM
15 years 9 months ago
2009
IEEE-ACM
In every application domain, achieving interoperability among heterogenous information systems is a crucial challenge and alliances are formed to standardize data-exchange formats...