1454 search results - page 9 / 291 » Stateful traits and their formalization |
105
Voted
DATE
2004
IEEE
15 years 4 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
117
click to vote
ISPDC
2003
IEEE
15 years 5 months ago
2003
IEEE
Many formal modelling notations for business processes have been proposed during the last decade. They can be broadly classified into high-level visual notations, with an intuiti...
HICSS
2010
IEEE
15 years 7 months ago
2010
IEEE
In this analysis of profiles and messaging behavior on a major online dating service, we find that, consistent with predictions of evolutionary psychology, women as compared to me...
115
Voted
ICMI
2009
Springer
14 years 10 months ago
2009
Springer
This article introduces HephaisTK, a toolkit for rapid prototyping of multimodal interfaces. After briefly discussing the state of the art, the architecture traits of the toolkit ...
104
Voted
FORMATS
2006
Springer
15 years 4 months ago
2006
Springer
This paper argues that basing the semantics of concurrent systems on the notions of state and state transitions is neither advisable nor necessary. The tendency to do this is deepl...