1884 search results - page 94 / 377 » Abstraction from Counters: An Application on Real-Time Syste... |
MODELS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Time and timing features are an important aspect of modern electronic systems, often of embedded nature. We argue here that in early design phases, time is often of logic...
JCST
2008
14 years 10 months ago
2008
A cellular model based on the Incrementally Modular Abstraction Hierarchy (IMAH) is a novel model that can represent the architecture of and changes in cyberworlds, preserving inva...
101
click to vote
SAFECOMP
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
ICMCS
2007
IEEE
15 years 4 months ago
2007
IEEE
Recent years have seen growing interest in mobile augmented reality. The ability to retrieve information and display it as virtual content overlaid on top of an image of the real ...
CEEMAS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract In this work we describe the development process of multiagent application design and implementation with Mulan. Our approach can be characterized as model driven developm...