10038 search results - page 1500 / 2008 » Model Checking for Managers |
172
click to vote
CGI
2004
IEEE
15 years 10 months ago
2004
IEEE
Computer games follow a scheme of continuous simulation, coupling the rendering phase and the simulation phase. That way of operation has disadvantages that can be avoided using a...
226
click to vote
COOPIS
2004
IEEE
15 years 10 months ago
2004
IEEE
Matching descriptions of user requirements against descriptions of service capabilities is crucial for the discovery of appropriate services for a given task. To improve the precis...
173
click to vote
BALT
2006
15 years 10 months ago
2006
Abstract. Modern software engineering attacks its complexity problems by applying well-understood development principles. In particular, the systematic adoption of design patterns ...
175
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Heterogeneous Business Process Modeling (BPM) schemas have been a problem for business process management throughout the last couple of years. Although there are several standardiz...
196
click to vote
CIKM
2006
Springer
15 years 10 months ago
2006
Springer
We propose to adapt the newly emerged cache-oblivious model to relational query processing. Our goal is to automatically achieve an overall performance comparable to that of fine-...