1111 search results - page 180 / 223 » Program Analysis as Model Checking of Abstract Interpretatio... |
132
click to vote
WISES
2003
15 years 3 months ago
2003
Abstract — Since sensor/actuator networks are to be used in error-prone environments, it is required that media access protocols for such networks are tolerant to failures. Field...
134
click to vote
SAC
2005
ACM
15 years 8 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
145
click to vote
DEEC
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract. Engineering workflow applications are becoming more and more complex, involving numerous interacting business objects within considerable processes. Analysing the interac...
111
click to vote
ARCS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract: Which Software Reliability Engineering (SRE) methods should be applied during the various phases of the lifecycle of a product? The answer given here centres on learning ...
108
click to vote
CHI
2006
ACM
16 years 2 months ago
2006
ACM
As graph models are applied to more widely varying fields, researchers struggle with tools for exploring and analyzing these structures. We describe GUESS, a novel system for grap...