3082 search results - page 422 / 617 » Deviation Analysis: A New Use of Model Checking |
175
click to vote
APWEB
2005
Springer
15 years 12 months ago
2005
Springer
This paper presents a new method for visualizing and navigating huge graphs. The main feature of this method is that it applies Level-Of-Detail (LOD) strategy to graph visualizati...
136
click to vote
ICCNMC
2005
Springer
15 years 12 months ago
2005
Springer
With the development of wireless network, more and more applications require the QoS for message transmission. In order to enhance the QoS service in the dynamic changing wireless ...
188
click to vote
ATAL
2003
Springer
15 years 11 months ago
2003
Springer
Security plays an important role in the development of multiagent systems. However, a careful analysis of software development processes shows that the definition of security requ...
165
click to vote
DSVIS
2008
Springer
15 years 8 months ago
2008
Springer
This paper reports on our experience in using the MuiCSer process framework for the redesign of the user interface for operating an industrial digital printing system. MuiCSer is c...
198
click to vote
GRID
2006
Springer
15 years 6 months ago
2006
Springer
Air Quality Forecasting (AQF) is a new discipline that attempts to reliably predict atmospheric pollution. An AQF application has complex workflows and in order to produce timely ...