645 search results - page 115 / 129 » Non-Monotonic Model Completion in Web Application Engineerin... |
100
click to vote
FSTTCS
2005
Springer
15 years 7 months ago
2005
Springer
Much recent research has focused on the applications of games with ω-regular objectives in the control and verification of reactive systems. However, many of the game-based model...
140
click to vote
SMI
2007
IEEE
15 years 8 months ago
2007
IEEE
Defining sharp features in a given 3D model facilitates a better understanding of the surface and aids visualizations, reverse engineering, filtering, simplification, non-photo...
136
click to vote
SOSP
1997
ACM
15 years 3 months ago
1997
ACM
Despite a large research effort, software distributed shared memory systems have not been widely used to run parallel applications across clusters of computers. The higher perform...
109
click to vote
ANSS
2002
IEEE
15 years 6 months ago
2002
IEEE
This paper introduces TUTW – Temporal Uncertainty Time Warp – a control engine designed for an exploitation of temporal uncertainty (TU) in general optimistic simulations, and...
126
click to vote
WSC
1997
15 years 3 months ago
1997
FACTOR/AIM (AIM) is a simulation system designed specifically for use in manufacturing decision support. AIM has been successfully applied to engineering design, scheduling, and p...