382 search results - page 62 / 77 » An Industrial Case Study on Requirements Volatility Measures |
214
click to vote
PATMOS
2007
Springer
16 years 5 days ago
2007
Springer
Abstract. Until now, the great majority of research in low-power systems has assumed a convex power model. However, recently, due to the confluence of emerging technological and ar...
185
click to vote
TARK
2007
Springer
16 years 5 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
173
click to vote
ASAP
2005
IEEE
15 years 11 months ago
2005
IEEE
As billion transistor System-on-chips (SoC) become commonplace and design complexity continues to increase, designers are faced with the daunting task of meeting escalating design...
161
click to vote
SELMAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
216
click to vote
AOSD
2011
ACM
15 years 1 months ago
2011
ACM
Software systems are increasingly being built as compositions of reusable artifacts (components, frameworks, toolkits, plug-ins, APIs, etc) that have non-trivial usage constraints...