1230 search results - page 120 / 246 » On Abstraction in Scenarios |
90
Voted
IFIP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract Flow Accounting is a passive monitoring mechanism implemented in routers that gives insight into tra c behavior and network characteristics. However, processing of Flow Ac...
142
Voted
CAV
2009
Springer
15 years 4 months ago
2009
Springer
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
160
Voted
E4MAS
2006
Springer
15 years 4 months ago
2006
Springer
Stigmergy has been adopted in MAS (multi-agent systems) and in other fields as a technique for realising forms of emergent coordination in societies composed by a large amount of a...
93
Voted
EWSA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect t...
100
Voted
APVIS
2008
15 years 2 months ago
2008
Volume rendering of multiple intersecting volumetric objects is a difficult visualization task, especially if different rendering styles need to be applied to the components, in o...