1156 search results - page 94 / 232 » Compositional Methods for Information-Hiding |
129
click to vote
FM
2006
Springer
15 years 6 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...
108
click to vote
FMCAD
2006
Springer
15 years 6 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...
124
click to vote
FORMATS
2006
Springer
15 years 6 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...
135
click to vote
ASM
2010
ASM
15 years 9 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...
107
click to vote
IROS
2006
IEEE
15 years 9 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...