883 search results - page 164 / 177 » The Semantics of Verilog Using Transition System Combinators |
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Recently, active behavior has received attention in the XML field to automatically react to occurred events. Aside from proprietary approaches for enriching XML with active behavi...
EUROCRYPT
2009
Springer
14 years 8 months ago
2009
Springer
Recently, at Crypto 2008, Boneh, Halevi, Hamburg, and Ostrovsky (BHHO) solved the longstanding open problem of "circular encryption," by presenting a public key encrypti...
MM
2009
ACM
14 years 2 months ago
2009
ACM
Most existing quality metrics do not take the human attention analysis into account. Attention to particular objects or regions is an important attribute of human vision and perce...
MIDDLEWARE
2007
Springer
14 years 1 months ago
2007
Springer
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
SKG
2006
IEEE
14 years 1 months ago
2006
IEEE
— As the Service Oriented Architecture (SOA) principles have gained importance, an emerging need has appeared for methodologies to locate desired services that provide access to ...