Sciweavers

807 search results - page 81 / 162
» Competition Adds Complexity
Sort
View
CAISE
2004
Springer
15 years 11 months ago
Information Modeling and Higher-order Types
: 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...
Terry A. Halpin
POLICY
2004
Springer
15 years 11 months ago
Cassandra: Distributed Access Control Policies with Tunable Expressiveness
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...
Moritz Y. Becker, Peter Sewell
SEKE
2004
Springer
15 years 11 months ago
Case Study Methodology Designed Research in Software Engineering Methodology Validation
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...
Seok Won Lee, David C. Rine
IEEEAMS
2003
IEEE
15 years 10 months ago
Kinesthetics eXtreme: An External Infrastructure for Monitoring Distributed Legacy Systems
Autonomic computing – self-configuring, self-healing, self-optimizing applications, systems and networks – is widely believed to be a promising solution to everincreasing syst...
Gail E. Kaiser, Janak J. Parekh, Philip Gross, Giu...
139
Voted
SRDS
2003
IEEE
15 years 10 months ago
Service Continuations: An Operating System Mechanism for Dynamic Migration of Internet Service Sessions
We propose service continuations (SC), an OS mechanism that supports seamless dynamic migration of Internet service sessions between cooperating multi-process servers. Service con...
Florin Sultan, Aniruddha Bohra, Liviu Iftode