Sciweavers

3376 search results - page 466 / 676
» Analyzing Software Evolvability
Sort
View
FOSSACS
2004
Springer
16 years 1 days ago
Polynomials for Proving Termination of Context-Sensitive Rewriting
Abstract. We show how to generate well-founded and stable term orderings based on polynomial interpretations over the real numbers. Monotonicity (another usual requirement in termi...
Salvador Lucas
ICCBSS
2004
Springer
16 years 1 days ago
A Wish List for Requirements Engineering for COTS-Based Information Systems
This paper summarizes the main achievements of a research whose main goal was to investigate the current state-of-art in the field of requirements engineering for COTS-based system...
Vito Perrone
ISCIS
2004
Springer
16 years 18 hour ago
Correctness Requirements for Multiagent Commitment Protocols
Abstract. Commitments are a powerful abstraction for representing the interactions between agents. Commitments capture the content of the interactions declaratively and allow agent...
Pinar Yolum
CCGRID
2003
IEEE
15 years 12 months ago
An Agent Version of a Cluster Server
Agent-oriented software is promising improvements especially for the design of distributed systems. But currently, there is a substantial gap between the massive number of publica...
Andraz Bezek, Matjaz Gams
188
Voted
IPPS
2003
IEEE
15 years 12 months ago
Quantifying Locality Effect in Data Access Delay: Memory logP
The application of hardware-parameterized models to distributed systems can result in omission of key bottlenecks such as the full cost of inter-node communication in a shared mem...
Kirk W. Cameron, Xian-He Sun