5668 search results - page 747 / 1134 » The case for software evolution |
168
click to vote
PERVASIVE
2005
Springer
16 years 9 days ago
2005
Springer
This paper studies the use of a Bluetooth enabled mobile phone as a controlling device in a smart environment. Main focus for the work is partitioning of the functionality and the...
206
click to vote
SELMAS
2005
Springer
16 years 9 days ago
2005
Springer
In this paper, we demonstrate a policy based approach for building and managing large scale agent based systems. We identify different classes of policies for agent based componen...
163
click to vote
CIKM
2004
Springer
16 years 7 days ago
2004
Springer
Endeca’s approach to processing search queries in a distributed computing environment is predicated on concerns of correctness, scalability, and flexibility in deployment. Using...
163
click to vote
FOSSACS
2004
Springer
16 years 6 days ago
2004
Springer
In this work we generalize the fundamental notion of recognizability from untimed to timed languages. The essence of our definition is the existence of a right-morphism from the m...
179
click to vote
FSTTCS
2004
Springer
16 years 6 days ago
2004
Springer
Priced timed (game) automata extend timed (game) automata with costs on both locations and transitions. In this paper we focus on reachability priced timed game automata and prove ...