Sciweavers

133 search results - page 8 / 27
» Semantic and behavioral library transformations
Sort
View
AOSE
2000
Springer
15 years 6 months ago
Agent-Oriented Modeling with Graph Transformation
Abstract. The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy, cooperation, and goal-oriented behavior. Mainstream object-ori...
Ralph Depke, Reiko Heckel, Jochen Malte Küste...
JUCS
2010
162views more  JUCS 2010»
14 years 8 months ago
UML Behavior Models of Real-Time Embedded Software for Model-Driven Architecture
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
Jin Hyun Kim, Jin-Young Choi, Inhye Kang, Insup Le...
ACMMSP
2006
ACM
250views Hardware» more  ACMMSP 2006»
15 years 7 months ago
What do high-level memory models mean for transactions?
Many people have proposed adding transactions, or atomic blocks, to type-safe high-level programming languages. However, researchers have not considered the semantics of transacti...
Dan Grossman, Jeremy Manson, William Pugh
MIR
2003
ACM
113views Multimedia» more  MIR 2003»
15 years 7 months ago
Semantic-meaningful content-based image retrieval in wavelet domain
In this paper, we propose a semantic-meaningful approach for region-based image retrieval in image database. Our retrieval system is based on wavelet transform for its decompositi...
Yongqing Sun, Shinji Ozawa
ICLP
2009
Springer
16 years 2 months ago
Qualified Computations in Functional Logic Programming
Abstract. Qualification has been recently introduced as a generalization of uncertainty in the field of Logic Programming. In this paper we investigate a more expressive language f...
Rafael Caballero, Mario Rodríguez-Artalejo,...