4480 search results - page 214 / 896 » Prototyping Completion with Constraints Using Computational ... |
211
click to vote
DBSEC
2009
15 years 7 months ago
2009
With the rapid growth in wireless networks and sensor and mobile devices, we are moving towards an era of pervasive computing. Access control is challenging in these environments. ...
192
click to vote
EUC
2005
Springer
16 years 8 hour ago
2005
Springer
Abstract. A dramatic increase of event monitoring capabilities by wireless sensors requires new, more sophisticated, event correlation over time and space. This new paradigm implie...
181
click to vote
TPHOL
2007
IEEE
16 years 22 days ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...
183
click to vote
PADL
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. A lightweight approach to debugging functional logic programs by observations is presented, implemented for the language Curry. The Curry Object Observation System (COOSy...
155
click to vote
CIC
2004
15 years 7 months ago
2004
The Common Component Architecture (CCA) defines a specification for the implementation of frameworks to support component-based high performance applications. The same framework s...