3082 search results - page 422 / 617 » Deviation Analysis: A New Use of Model Checking |
197
click to vote
APWEB
2005
Springer
16 years 18 days 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...
153
click to vote
ICCNMC
2005
Springer
16 years 17 days 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 ...
205
click to vote
ATAL
2003
Springer
16 years 8 days 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...
186
Voted
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...
220
click to vote
GRID
2006
Springer
15 years 7 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 ...