837 search results - page 106 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
152
Voted
TDSC
2010
14 years 10 months ago
2010
This paper introduces dual-quorum replication, a novel data replication algorithm designed to support Internet edge services. Edge services allow clients to access Internet service...
106
Voted
ICSE
2003
IEEE-ACM
16 years 3 months ago
2003
IEEE-ACM
In a software development group of IBM Retail Store Solutions, we built a non-trivial software system based on a stable standard specification using a disciplined, rigorous unit t...
122
click to vote
AAAI
1997
15 years 4 months ago
1997
Mixed-initiative planning is one approach to building an intelligent decision-making environment. A mixedinitiative system shares decision-making responsibility with the user such...
148
click to vote
FPGA
2000
ACM
15 years 7 months ago
2000
ACM
This paper presents a benchmark suite for evaluating a configurable computing system's infrastructure, both tools and architecture. A novel aspect of this work is the use of ...
164
click to vote
ERCIMDL
2001
Springer
15 years 7 months ago
2001
Springer
This paper proposes an approach to the problem of generating metadata for composite mixed-media digital objects by appropriately combining and exploiting existing knowledge or met...