5243 search results - page 859 / 1049 » Reasoning About Strategies |
182
click to vote
JCP
2008
15 years 6 months ago
2008
- Our paper focuses on the generation of optimal test sequences and test cases using Intelligent Agents for highly reliable systems. Test sequences support test case generation for...
163
click to vote
JOLLI
2008
15 years 6 months ago
2008
The aim of this article is to investigate whether choosing the appropriate referring expression requires taking into account the hearer's perspective, as is predicted under so...
198
click to vote
JCM
2006
15 years 6 months ago
2006
Spectrum regulation will undergo elementary changes in the near future allowing a less restricted and more flexible access to radio spectrum. Intelligent radios, socalled cognitive...
187
click to vote
JTAER
2008
15 years 6 months ago
2008
We typically think of documents as carrying information. However, certain kinds of documents do more than that: they are not only informative but also performative in that they re...
179
click to vote
JUCS
2008
15 years 6 months ago
2008
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...