Sciweavers

2324 search results - page 302 / 465
» Benchmark Generation Using Domain Specific Modeling
Sort
View
FOAL
2009
ACM
16 years 20 days ago
A machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement some unit of program functionality. In most product lines, only some combination of fe...
Benjamin Delaware, William R. Cook, Don S. Batory
SACMAT
2010
ACM
15 years 11 months ago
A model of triangulating environments for policy authoring
Policy authors typically reconcile several different mental models and goals, such as enabling collaboration, securing information, and conveying trust in colleagues. The data un...
Kathi Fisler, Shriram Krishnamurthi
ICIP
2004
IEEE
16 years 7 months ago
Multisensor raster and vector data fusion based on uncertainty modeling
We propose a new methodology for fusing temporally changing multisensor raster and vector data by developing a spatially and temporally varying uncertainty model of acquired and t...
Sang-Chul Lee, Peter Bajcsy
VTC
2006
IEEE
16 years 5 days ago
Modelling the General Dependency Between Directions of Arrival and Departure for an Indoor MIMO Channel
— Precise modelling of the Direction of Arrival (DoA) and Direction of Departure (DoD) of multipath components (MPCs) in a Multiple-Input Multiple-Output (MIMO) channel based on ...
Chor Min Tan, Choong Ming Chin, Moh Lim Sim, Mark ...
RTAS
2005
IEEE
15 years 11 months ago
A Platform-Independent Component Modeling Language for Distributed Real-Time and Embedded Systems
This paper provides two contributions to the study of developing and applying domain-specific modeling languages (DSMLS) to distributed real-time and embedded (DRE) systems – p...
Krishnakumar Balasubramanian, Jaiganesh Balasubram...