Sciweavers

7918 search results - page 57 / 1584
» Model Composition Directives
Sort
View
ASE
2006
114views more  ASE 2006»
13 years 10 months ago
Explicit modeling of semantics associated with composite states in UML statecharts
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
Zhaoxia Hu, Sol M. Shatz
NIPS
2003
13 years 11 months ago
A Holistic Approach to Compositional Semantics: A Connectionist Model and Robot Experiments
We present a novel connectionist model for acquiring the semantics of a simple language through the behavioral experiences of a real robot. We focus on the “compositionality” ...
Yuuya Sugita, Jun Tani
SIGSOFT
2009
ACM
14 years 10 months ago
Fitting the pieces together: a machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
Benjamin Delaware, William R. Cook, Don S. Batory
JSS
2010
123views more  JSS 2010»
13 years 4 months ago
Composition of architectural models: Empirical analysis and language support
Managing the architectural description (AD) of a complex software system and maintaining consistency among the different models is a demanding task. To understand the underlying p...
Nelis Boucké, Danny Weyns, Tom Holvoet
COLCOM
2008
IEEE
14 years 4 months ago
Access Control Model for Sharing Composite Electronic Health Records
The adoption of electronically formatted medical records, so called Electronic Health Records (EHRs), has become extremely important in healthcare systems to enable the exchange of...
Jing Jin, Gail-Joon Ahn, Michael J. Covington, Xin...