Sciweavers

2324 search results - page 302 / 465
» Benchmark Generation Using Domain Specific Modeling
Sort
View
FOAL
2009
ACM
15 years 8 months 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
109
Voted
SACMAT
2010
ACM
15 years 7 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 3 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
103
Voted
VTC
2006
IEEE
15 years 8 months 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 7 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...