1454 search results - page 168 / 291 » Stateful traits and their formalization |
159
click to vote
TABLETOP
2006
IEEE
16 years 11 days ago
2006
IEEE
Reach heavily impacts all aspects of designing for tangible and tabletop user interfaces. It dictates the input space available to each user and heavily shapes how that space is u...
162
click to vote
CSFW
2005
IEEE
15 years 12 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
145
click to vote
ICRA
2005
IEEE
15 years 12 months ago
2005
IEEE
Abstract— This paper presents a novel approach for visionbased control of the end-effector of parallel mechanisms. It is based on the metrological redundancy paradigm, which simp...
135
click to vote
ASM
2005
ASM
15 years 12 months ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
174
click to vote
CAV
2005
Springer
15 years 12 months ago
2005
Springer
Statistical methods to model check stochastic systems have been, thus far, developed only for a sublogic of continuous stochastic logic (CSL) that does not have steady state operat...