7380 search results - page 644 / 1476 » Engineering Software Intensive Systems |
164
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Exception specifications can aid in the tasks of writing correct exception handlers and understanding exceptional control flow, but current exception specification system...
221
click to vote
FOSSACS
2011
Springer
14 years 10 months ago
2011
Springer
We give a general framework connecing a branching time relation on nodes of a transition system to a final coalgebra for a suitable endofunctor. Examples of relations treated by o...
301
click to vote
DAGSTUHL
2011
14 years 6 months ago
2011
We present a data-level comparative visualization system that utilizes two key pieces of technology: (1) cross-mesh field evaluation – algorithms to evaluate a field from one ...
208
click to vote
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
Multiple wireless technologies are converging to run on personal handhelds. The plethora of communication standards next to the cost issues of deeper submicron processing require ...
178
click to vote
SIGCOMM
2006
ACM
16 years 27 days ago
2006
ACM
Fast and effective distribution of software updates (a.k.a. patches) to millions of Internet users has evolved into a critical task over the last years. In this paper, we characte...