10275 search results - page 1900 / 2055 » Case Studies of Autonomy |
197
click to vote
RTSS
2007
IEEE
16 years 24 days ago
2007
IEEE
— We have developed an analysis-based design tool, ANDES, for modeling a wireless sensor network system and analyzing its performance before deployment. ANDES enables designers t...
182
click to vote
WCRE
2007
IEEE
16 years 23 days ago
2007
IEEE
As the useful life expectancy of software continues to increase, the task of maintaining the source code has become the dominant phase of the software life-cycle. In order to impr...
201
click to vote
WISE
2007
Springer
16 years 23 days ago
2007
Springer
We study and present our findings on two closely related problems on xpath rewriting using views when both the view and the query are tree patterns involving /,// and []. First, g...
201
click to vote
AAIM
2007
Springer
16 years 21 days ago
2007
Springer
Packet scheduling in networks with quality of service constraints has been extensively studied as a single criterion scheduling problem. The assumption underlying single criterion ...
182
click to vote
ATVA
2007
Springer
16 years 21 days ago
2007
Springer
Abstract. Dynamic fault trees (DFTs) are a versatile and common formalism to model and analyze the reliability of computer-based systems. This paper presents a formal semantics of ...