12981 search results - page 569 / 2597 » Model Checking (Abstract) |
161
click to vote
CIDR
2003
15 years 8 months ago
2003
Model management is a new approach to meta data management that offers a higher level programming interface than current techniques. The main abstractions are models (e.g., schema...
180
click to vote
TSD
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. A formal prosody model is proposed together with its application in a text-to-speech system. The model is based on a generative of abstract prosodic functionally involved...
205
click to vote
ER
2007
Springer
15 years 11 months ago
2007
Springer
We propose a small set of parameterized abstract models for workflow patterns, starting from first principles for sequential and distributed control. Appropriate instantiations yie...
170
click to vote
DSD
2009
IEEE
15 years 11 months ago
2009
IEEE
This paper addresses the design issue of System-onelevating the design abstraction levels, through a model-driven approach. It considers the standard Marte profile, which is dedic...
176
click to vote
FGCS
2000
15 years 6 months ago
2000
The LOGFLOW parallel Prolog system is similar to the recent parallel database systems concerning its dataflow execution model and its capability of running on othing architectures...