1669 search results - page 32 / 334 » Structured Specification of Model Interpreters |
122
Voted
DFG
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Motivated by the wide acceptance of component based technologies in software development, a component concept for software engineering is applied to modeling in the field...
152
click to vote
VISUAL
1999
Springer
15 years 6 months ago
1999
Springer
The FRAMES project is developing a system for video database search, content-based retrieval, and virtual video program synthesis. For dynamic synthesis applications, a video progr...
120
click to vote
JMLR
2006
15 years 2 months ago
2006
This paper deals with chain graph models under alternative AMP interpretation. A new representative of an AMP Markov equivalence class, called the largest deflagged graph, is prop...
139
click to vote
RTCSA
1999
IEEE
15 years 6 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
254
click to vote
OOPSLA
2004
Springer
15 years 7 months ago
2004
Springer
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...