1346 search results - page 221 / 270 » Alternating-time dynamic logic |
155
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
The Goal Decomposition Tree model has been introduced in 2005 by Mermet et al. [9] to specify and verify the behaviour of an agent evolving in a dynamic environment. This model pr...
178
click to vote
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
Due to significant improvements in the capabilities of small devices such as PDAs and smart phones, these devices can not only consume but also provide Web Services. The dynamic n...
175
click to vote
BTW
2001
Springer
15 years 10 months ago
2001
Springer
Mediators – used in federated information systems – provide a homogeneous read-only access to a set of autonomous information sources. To achieve semantic integration of the h...
154
click to vote
AUIC
2000
IEEE
15 years 10 months ago
2000
IEEE
Electronic Blocks are a new programming interface, designed for children aged between three and eight years. The Electronic Blocks programming environment includes sensor blocks, ...
171
click to vote
MICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
Value prediction breaks data dependencies in a program thereby creating instruction level parallelism that can increase program performance. Hardware based value prediction techni...