1156 search results - page 94 / 232 » Compositional Methods for Information-Hiding |
138
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. The paper introduces the construct of temporal testers as a compositional basis for the construction of automata corresponding to temporal formulas in the PSL logic. Temp...
115
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
We formally define--at the stream transformer level--a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properti...
134
Voted
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...
149
click to vote
ASM
2010
ASM
15 years 11 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
117
Voted
IROS
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract— The Sensory Ego-Sphere (SES) is a short-term memory for a robot in the form of an egocentric, tessellated, spherical, sensory-motor map of the robot’s locale. This pa...