536 search results - page 52 / 108 » A computer verified, monadic, functional implementation of t... |
173
click to vote
ER
2007
Springer
16 years 9 days ago
2007
Springer
Schema mappings come in different flavors: simple correspondences are produced by schema matchers, intensional mappings are used for schema integration. However, the execution of ...
206
click to vote
TCOM
2010
15 years 4 months ago
2010
Dynamic spectrum access (DSA) is an integral part of cognitive radio technology aiming at efficient management of the available power and bandwidth resources. The present paper d...
166
click to vote
ICVS
2003
Springer
15 years 11 months ago
2003
Springer
We propose a method to construct computer vision systems using a workbench composed of a multi-faceted toolbox and a general purpose kernel. The toolbox is composed of an open set ...
153
click to vote
SAC
2003
ACM
15 years 11 months ago
2003
ACM
Software coordination models and languages describe how agents, resources and processes work together to implement a software system. One of their limitations is that they are use...
189
click to vote
SACMAT
2010
ACM
15 years 4 months ago
2010
ACM
Proposed models for spatially-aware extensions of role-based access control (RBAC) combine the administrative and security advantages of RBAC with the dynamic nature of mobile and...