4666 search results - page 631 / 934 » Equations on Timed Languages |
225
click to vote
MODELS
2007
Springer
16 years 28 days ago
2007
Springer
Recently, the complexity of modern, real-time computer games has increased drastically. The need for sophisticated game AI, in particular for Non-Player Characters, grows with the ...
152
click to vote
MONTEREY
2007
Springer
16 years 28 days ago
2007
Springer
In this paper, we describe an approach to formally assess whether an organization conforms to a body of regulation. Conformance is cast as a model checking question where the regul...
174
click to vote
ICEIS
2006
IEEE
16 years 25 days ago
2006
IEEE
The satisfiability test checks, whether or not the evaluation of a query returns the empty set for any input document, and can be used in query optimization for avoiding the submis...
162
click to vote
VL
2006
IEEE
16 years 24 days ago
2006
IEEE
Modern development environments provide many features for navigating source code, yet recent studies show the developers still spend a tremendous amount of time just navigating. S...
152
click to vote
ASPLOS
2006
ACM
16 years 23 days ago
2006
ACM
Cycles per Instruction (CPI) stacks break down processor execution time into a baseline CPI plus a number of miss event CPI components. CPI breakdowns can be very helpful in gaini...