Sciweavers

1864 search results - page 320 / 373
» Formal topology and domains
Sort
View
JOT
2006
113views more  JOT 2006»
13 years 8 months ago
Constraint Validation in Model Compilers
Model transformation has become one of the most focused research field, motivated by for instance the OMG's Model-Driven Architecture (MDA). Metamodeling is a central techniq...
László Lengyel, Tihamer Levendovszky...
ENTCS
2007
118views more  ENTCS 2007»
13 years 8 months ago
Safe Adaptation of Component Coordination
In the domain of software engineering, the use of software components is now a well established approach. However, it raises problems about the dynamic adaptation of these compone...
Christophe Sibertin-Blanc, Philippe Mauran, G&eacu...
JUCS
2006
108views more  JUCS 2006»
13 years 8 months ago
Defining Atomic Composition in UML Behavioral Diagrams
Abstract: UML may be used to describe both the structure and behavior of objectoriented systems using a combination of notations. For the modeling of the dynamic behavior, a number...
Júlio Henrique Araújo Pereira Machad...
LRE
2006
99views more  LRE 2006»
13 years 8 months ago
A lexicon for Vietnamese language processing
Only very recently have Vietnamese researchers begun to be involved in the domain of Natural Language Processing (NLP). As there does not exist any published work in formal linguis...
Thi Minh Huyen Nguyen, Laurent Romary, Mathias Ros...
RTS
2006
176views more  RTS 2006»
13 years 8 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt