2282 search results - page 411 / 457 » Active property checking |
DALT
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Most previous logical accounts of goal change do not deal with prioritized goals and do not handle subgoals and their dynamics properly. Many are restricted to achievemen...
CONCUR
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. For many cryptographic protocols, security relies on the assumption that adversarial entities have limited computational power. This type of security degrades progressive...
ETRA
2008
ACM
13 years 11 months ago
2008
ACM
The goal of this paper is to predict future horizontal eye movement trajectories within a specified time interval. To achieve this goal a linear horizontal oculomotor plant mechan...
IESA
2007
13 years 11 months ago
2007
Domain ontology building is one of the most critical activities required in Semantic Web applications. The task must be performed by domain experts, who do not (generally) have the...
COMAD
2008
13 years 11 months ago
2008
Transformation of a source schema with its conforming data to a target schema with its conforming data is an important activity in XML as two schemas in XML can represent same rea...