12774 search results - page 366 / 2555 » A Framework for Proof Systems |
207
click to vote
WIRI
2005
IEEE
16 years 13 days ago
2005
IEEE
The inter-operability of multiple autonomous and heterogeneous data sources is an important issue in many applications such as mediation systems, datawarehouses, or web-based syst...
162
Voted
ICEGOV
2007
ACM
15 years 10 months ago
2007
ACM
This paper explains how semantic frameworks can be used to support successful e-Government initiatives by connecting system design to a shared understanding of interactions and pr...
161
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous...
205
click to vote
EUROPAR
2006
Springer
15 years 10 months ago
2006
Springer
OGSA-DQP is a Distributed Query Processing system for the Grid. It uses the OGSA-DAI framework for querying individual databases and adds on top of it an infrastructure to perform ...
208
click to vote
CSREASAM
2006
15 years 8 months ago
2006
Role based access control (RBAC) allows users access to resources based on their competencies and responsibilities within an organization. Typically, RBAC is provided as a securit...