245 search results - page 15 / 49 » Parametric probabilistic transition systems for system desig... |
ECSCW
2003
13 years 8 months ago
2003
Collaborative interactions with many existing digital tabletop systems lack the fluidity of collaborating around a table using traditional media. This paper presents a critical ana...
ECMDAFA
2009
Springer
14 years 1 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
ENTCS
2007
13 years 7 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
FAC
2010
13 years 4 months ago
2010
Code and design smells are recurring design problems in software systems that must be identified to avoid their possible negative consequences on development and maintenance. Conse...
ICDAR
2003
IEEE
14 years 20 days ago
2003
IEEE
This paper aims at automatic recognition of online handwritten mathematical expressions written on an electronic tablet. The proposed technique involves two major stages: symbol r...