5434 search results - page 952 / 1087 » Tool support for MOLA |
202
click to vote
QEST
2009
IEEE
16 years 25 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...
187
Voted
PETRA
2009
ACM
16 years 18 days ago
2009
ACM
The Ambient Kitchen is a high fidelity prototype for exploring the design of pervasive computing algorithms and applications for everyday environments. The environment integrates ...
186
click to vote
HPDC
2008
IEEE
16 years 17 days ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
147
click to vote
NOMS
2008
IEEE
16 years 14 days ago
2008
IEEE
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...
189
Voted
TPHOL
2008
IEEE
16 years 14 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...