511 search results - page 77 / 103 » Composition of Semantic Relations: Model and Applications |
124
click to vote
CAV
2000
Springer
15 years 4 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
130
click to vote
TFM
2009
Springer
15 years 6 months ago
2009
Springer
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
ICMCS
2000
IEEE
15 years 4 months ago
2000
IEEE
As more information sources become available in multimedia systems, the development of multimedia database management systems (MDBMSs) to efficiently model and search multimedia ...
112
click to vote
ASWSD
2006
Springer
15 years 3 months ago
2006
Springer
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...
111
click to vote
ADAPTIVE
2007
Springer
15 years 6 months ago
2007
Springer
A very common issue of adaptive Web-Based systems is the modeling of documents. Such documents represent domain-specific information for a number of purposes. Application areas su...