2694 search results - page 404 / 539 » A Description Logic of Change |
175
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Path expressions are the principal means of locating data in a hierarchical model. But path expressions are brittle because they often depend on the structure of data and break if...
161
click to vote
PADL
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. Prospective Logic Programming is a declarative framework supporting the specification of autonomous agents capable of anticipating and reasoning about hypothetical futur...
127
click to vote
DATE
2009
IEEE
16 years 1 months ago
2009
IEEE
—We investigate restructuring techniques based on decomposition/factorization, with the objective to move critical signals toward the output while minimizing area. A specific ap...
167
click to vote
WCRE
2008
IEEE
16 years 23 days ago
2008
IEEE
A business process contains a set of logically related tasks executed to fulfill business goals. Business applications enable organizations to automatically perform their daily op...
154
click to vote
ACNS
2008
Springer
16 years 23 days ago
2008
Springer
Abstract. The EAP-GPSK protocol is a lightweight, flexible authentication protocol relying on symmetric key cryptography. It is part of an ongoing IETF process to develop authenti...