5216 search results - page 421 / 1044 » Planning as Model Checking |
159
Voted
TOG
2010
15 years 1 months ago
2010
We present a method for automated generation of building layouts for computer graphics applications. Our approach is motivated by the layout design process developed in architectu...
157
click to vote
WSC
2007
15 years 9 months ago
2007
Construction projects produce serious environmental pollution and great annoyance to the neighbouring community due to construction noise. This paper presents an application of th...
150
click to vote
WSC
2004
15 years 8 months ago
2004
For newly designed or transformed business processes, accurately predicting business performances such as costs and customer services before actual deployment is very important. W...
173
click to vote
CODES
2002
IEEE
15 years 11 months ago
2002
IEEE
We introduce a new kernel language for modeling hardware/software systems, adopting multiple heterogenous models of computation. The language has formal operational semantics, and...
182
Voted
FIDJI
2004
Springer
15 years 10 months ago
2004
Springer
Our paper aims at proposing a framework that allows programmers to exploit the benefits of exception handling throughout the entire development Java programs by modeling exception ...