19 search results - page 4 / 4 » A Formal Framework for Modeling and Analysis of System-Level... |
AMEC
2004
Springer
13 years 11 months ago
2004
Springer
In many two-sided search applications, autonomous agents can enjoy the advantage of parallel search, powered by their ability to handle an enormous amount of information, in a shor...
QEST
2009
IEEE
14 years 8 days ago
2009
IEEE
—Traviando is a trace analyzer and visualizer for simulation traces of discrete event dynamic systems. In this paper, we briefly outline recent extensions of Traviando towards a...
DIGRA
2005
Springer
13 years 11 months ago
2005
Springer
Building on the work of games theorists and virtual world designers, this paper proposes a framework for understanding the real-virtual dichotomy in terms of a series of five fram...
APWEB
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. Information sharing on distributed collaboration usually occurs in broad, highly dynamic network-based environments, and formally accessing the resources in a secure mann...