1163 search results - page 115 / 233 » Case Studies of Model Checking for Embedded System Designs |
119
click to vote
COMPGEOM
2009
ACM
15 years 11 months ago
2009
ACM
Data conflation is a major issue in GIS: spatial data obtained from different sources, using different acquisition techniques, needs to be combined into one single consistent d...
165
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Information system designers face many challenges w.r.t. selecting appropriate semantic technologies and deciding on a modelling approach for their system. However, there...
142
click to vote
ECBS
2008
IEEE
15 years 11 months ago
2008
IEEE
System execution modeling (SEM) tools provide an effective means to evaluate the quality of service (QoS) of enterprise distributed real-time and embedded (DRE) systems. SEM tools...
120
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
We define trust-based mechanism design as an augmentation of traditional mechanism design in which agents take into account the degree of trust that they have in their counterpar...
135
click to vote
DAC
2008
ACM
16 years 5 months ago
2008
ACM
Daedalus is a system-level design flow for the design of multiprocessor system-on-chip (MP-SoC) based embedded multimedia systems. It offers a fully integrated tool-flow in which ...