848 search results - page 154 / 170 » A Formal Monitoring-Based Framework for Software Development... |
162
Voted
QEST
2009
IEEE
15 years 10 months 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...
134
Voted
ENTCS
2008
15 years 3 months ago
2008
Mathematical texts can be computerized in many ways that capture differing amounts of the mathematical meaning. At one end, there is document imaging, which captures the arrangeme...
153
Voted
DOLAP
2010
ACM
15 years 1 months ago
2010
ACM
The integration of OLAP with web-search technologies is a promising research topic. Recommender systems are popular web-search mechanisms, because they can address information ove...
153
Voted
ASM
2010
ASM
15 years 10 months ago
2010
ASM
and formal model, named Kmelia [1,2], with an associated language to specify components, their provided and required services and their assemblies; we also developed a framework na...
122
Voted
ESOP
2001
Springer
15 years 8 months ago
2001
Springer
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...