452 search results - page 47 / 91 » Symbolic Execution of Behavioral Requirements |
FOSSACS
2005
Springer
15 years 4 months ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
110
click to vote
CI
2005
14 years 11 months ago
2005
Autonomous agents that learn about their environment can be divided into two broad classes. One class of existing learners, reinforcement learners, typically employ weak learning ...
AINA
2007
IEEE
15 years 5 months ago
2007
IEEE
— This paper presents a computing model for resource-limited mobile devices that might be ubiquitously deployed in private and business environments. The model integrates a stron...
MEMOCODE
2007
IEEE
15 years 5 months ago
2007
IEEE
Bluespec is a high-level hardware description language used for architectural exploration, hardware modeling and synthesis of semiconductor chips. In Bluespec, one views hardware ...
100
click to vote
MIDDLEWARE
2004
Springer
15 years 4 months ago
2004
Springer
Software frequently needs to adapt its behavior at run time to respond to changes in its execution environment. Different software components may use different approaches to adap...