979 search results - page 62 / 196 » Automated Environment Generation for Software Model Checking |
147
Voted
UIST
1993
ACM
15 years 6 months ago
1993
ACM
Model-based user interface design is centered around a description of application objects and operations at a level of ion higher than that of code. A good model can be used to su...
IUI
2000
ACM
15 years 6 months ago
2000
ACM
Design problems involve issues of stylistic preference and flexible standards of success; human designers often proceed by intuition and are unaware of following any strict rule-b...
107
click to vote
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
110
click to vote
ICRA
2003
IEEE
15 years 7 months ago
2003
IEEE
Abstract—We describe a method for automatically generating accurate piecewise planar models of indoor scenes using a combination of a 2D laser scanner and a camera on a mobile pl...
124
click to vote
WSC
1997
15 years 3 months ago
1997
Model abstraction using metamodeling has demonstrated the capability to facilitate software reuse, large scale model integration, verification, and validation. Once restricted to...