1522 search results - page 9 / 305 » Practical Exception Specifications |
MODELS
2009
Springer
15 years 4 months ago
2009
Springer
FMICS
2010
Springer
14 years 10 months ago
2010
Springer
AAAI
2008
14 years 11 months ago
2008
Temporal logics are widely used in specifying goals of agents. We noticed that when directing agents, humans often revise their requirements for the agent, especially as they gath...
CARDIS
2006
Springer
15 years 1 months ago
2006
Springer
Ahead-of-Time and Just-in-Time compilation are common ways to improve runtime performances of restrained systems like Java Card by turning critical Java methods into native code. H...
ISORC
2002
IEEE
15 years 2 months ago
2002
IEEE
The Real-Time Specification for Java provides a facility for Asynchronous Transfer of Control based on exception handling and a generalization of the interrupt() method from the T...