2678 search results - page 463 / 536 » Operational Semantics of Transactions |
121
click to vote
MOBIDE
2006
ACM
15 years 7 months ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...
126
click to vote
SACMAT
2006
ACM
15 years 7 months ago
2006
ACM
In this paper we propose an access control model for the Resource Description Framework (RDF). We argue that existing access control models, like the ones developed for securing e...
120
click to vote
APSEC
2005
IEEE
15 years 7 months ago
2005
IEEE
Software-intensive systems are systems of systems that rely on complex interdependencies among themselves as well as with their operational environment to satisfy the required beh...
100
Voted
CGO
2005
IEEE
15 years 7 months ago
2005
IEEE
Pointer analysis is traditionally performed once, early in the compilation process, upon an intermediate representation (IR) with source-code semantics. However, performing pointe...
112
click to vote
HICSS
2005
IEEE
15 years 7 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...