Sciweavers

511 search results - page 77 / 103
» Composition of Semantic Relations: Model and Applications
Sort
View
CAV
2000
Springer
197views Hardware» more  CAV 2000»
15 years 4 months ago
Bounded Model Construction for Monadic Second-Order Logics
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
Abdelwaheb Ayari, David A. Basin
TFM
2009
Springer
252views Formal Methods» more  TFM 2009»
15 years 6 months ago
Abstraction and Modelling: A Complementary Partnership
action and Modelling - a complementary partnership” 10h30 – 11h 00 Coffee break 11h-12h30 Session 1 “Model Transformation: Foundations” Algebraic models for bidirectional m...
Jeffrey Kramer
ICMCS
2000
IEEE
171views Multimedia» more  ICMCS 2000»
15 years 4 months ago
A Probabilistic-Based Mechanism for Video Database Management Systems
As more information sources become available in multimedia systems, the development of multimedia database management systems (MDBMSs) to efficiently model and search multimedia ...
Mei-Ling Shyu, Shu-Ching Chen, Rangasami L. Kashya...
ASWSD
2006
Springer
15 years 3 months ago
Generating Sound and Resource-Aware Code from Hybrid Systems Models
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...
Madhukar Anand, Sebastian Fischmeister, Jesung Kim...
ADAPTIVE
2007
Springer
15 years 6 months ago
Web Document Modeling
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...
Alessandro Micarelli, Filippo Sciarrone, Mauro Mar...