10038 search results - page 1528 / 2008 » Model Checking for Managers |
167
click to vote
ICOIN
2004
Springer
16 years 5 days ago
2004
Springer
For more scalable mobile services, it is important to reduce the signaling cost for location management. In this paper, we propose a cost effective IP paging scheme utilizing expl...
175
Voted
KDD
2004
ACM
16 years 5 days ago
2004
ACM
Detection of space-time clusters is an important function in various domains (e.g., epidemiology and public health). The pioneering work on the spatial scan statistic is often use...
164
click to vote
KR
2004
Springer
16 years 5 days ago
2004
Springer
This paper deals with preference representation and elicitation in the context of multiattribute utility theory under risk. Assuming the decision maker behaves according to the EU...
219
click to vote
SAMOS
2004
Springer
16 years 5 days ago
2004
Springer
The dataflow interchange format (DIF) is a textual language that is geared towards capturing the semantics of graphical design tools for DSP system design. A key objective of DIF i...
196
click to vote
UIALL
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Recent trends in software development directed toward intelligence, distribution, and mobility need to be followed by an increased sophistication in user interface design...