Sciweavers

4798 search results - page 193 / 960
» Time for a change
Sort
View
ASPLOS
2009
ACM
15 years 10 months ago
Efficient online validation with delta execution
Software systems are constantly changing. Patches to fix bugs and patches to add features are all too common. Every change risks breaking a previously working system. Hence admini...
Joseph Tucek, Weiwei Xiong, Yuanyuan Zhou
ICSE
2007
IEEE-ACM
16 years 6 months ago
UML/Analyzer: A Tool for the Instant Consistency Checking of UML Models
Large design models contain tens of thousands of model elements. Designers easily get overwhelmed maintaining the consistency of such design models over time. Not only is it hard ...
Alexander Egyed
ECAI
2006
Springer
15 years 10 months ago
Modal Logics for Communicating Rule-Based Agents
In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The f...
Natasha Alechina, Mark Jago, Brian Logan
SIGSOFT
2007
ACM
16 years 7 months ago
Program comprehension as fact finding
Little is known about how developers think about design during code modification tasks or how experienced developers' design knowledge helps them work more effectively. We pe...
Thomas D. LaToza, David Garlan, James D. Herbsleb,...
IJSNET
2006
78views more  IJSNET 2006»
15 years 6 months ago
RICA: a ring-based information collection architecture in wireless sensor networks
: We propose a novel data collection architecture, called Ring-based Information Collection Architecture (RICA), for sensor networks. In the RICA scheme, sensors are organised into...
Shih-Chang Huang, Rong-Hong Jan, Wuu Yang