807 search results - page 81 / 162 » Competition Adds Complexity |
CAISE
2004
Springer
15 years 3 months ago
2004
Springer
: While some information modeling approaches (e.g. the Relational Model, and Object-Role Modeling) are typically formalized using first-order logic, other approaches to information...
POLICY
2004
Springer
15 years 3 months ago
2004
Springer
We study the specification of access control policy in large-scale distributed systems. Our work on real-world policies has shown that standard policy idioms such as role hierarc...
SEKE
2004
Springer
15 years 3 months ago
2004
Springer
One of the challenging research problems in validating a software engineering methodology (SEM), and a part of its validation process, is to answer “How to fairly collect, presen...
IEEEAMS
2003
IEEE
15 years 3 months ago
2003
IEEE
Autonomic computing – self-configuring, self-healing, self-optimizing applications, systems and networks – is widely believed to be a promising solution to everincreasing syst...
SRDS
2003
IEEE
15 years 3 months ago
2003
IEEE
We propose service continuations (SC), an OS mechanism that supports seamless dynamic migration of Internet service sessions between cooperating multi-process servers. Service con...