361 search results - page 67 / 73 » An industrial case study in reconstructing requirements view... |
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
—In this paper, we study how to build a front-end flow management system for SIP application servers. This is challenging because of some special characteristics of SIP and SIP a...
135
click to vote
PATMOS
2007
Springer
15 years 5 months 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...
126
click to vote
TARK
2007
Springer
15 years 5 months 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...
105
click to vote
ASAP
2005
IEEE
15 years 5 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...
SELMAS
2004
Springer
15 years 5 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...