551 search results - page 101 / 111 » Realizability of Real-Time Logics |
AAAI
2000
13 years 8 months ago
2000
Just as actions can have indirect effects on the state of the world, so too can sensing actions have indirect effects on an agent's state of knowledge. In this paper, we inve...
GPCE
2008
Springer
13 years 8 months ago
2008
Springer
The influential pure embedding methodology of embedding domainspecific languages (DSLs) as libraries into a general-purpose host language forces the DSL designer to commit to a ...
ICUMT
2009
13 years 5 months ago
2009
Abstract-- Many peer-to-peer-based virtual environment (P2PVE) solutions have been proposed recently to improve the scalability of distributed virtual environment (VE) systems. By ...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
In the paper, an evolutionary approach to test generation for functional BIST is considered. The aim of the proposed scheme is to minimize the test data volume by allowing the dev...
EJWCN
2010
13 years 2 months ago
2010
Model checking (MC) is a formal verification technique which has known and still knows a resounding success in the computer science community. Realizing that the distributed power...