1163 search results - page 174 / 233 » Case Studies of Model Checking for Embedded System Designs |
122
click to vote
DSD
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper proposes a system-level cycle-based framework to model and design heterogeneous Multiprocessor Systems on-Chip (MPSoC), called GRAPES. The approach features flexibilit...
146
Voted
NORDICHI
2004
ACM
15 years 9 months ago
2004
ACM
This case study examines a procurement project where the Swedish National Labor Market Administration (AMV) hired usability consultants in order to redesign their website for empl...
134
click to vote
HICSS
2009
IEEE
15 years 11 months ago
2009
IEEE
An Enterprise Semantic Integration System (ESIS) provides cross-domain and cross-department insights by normalizing and merging structured, semistructured, and unstructured data s...
151
click to vote
SIGMOD
2010
ACM
15 years 9 months ago
2010
ACM
Uncertain data streams, where data is incomplete, imprecise, and even misleading, have been observed in many environments. Feeding such data streams to existing stream systems pro...
155
click to vote
RE
2010
Springer
14 years 11 months ago
2010
Springer
Abstract Requirements Engineering (RE) research often ignores, or presumes a uniform nature of the context in which the system operates. This assumption is no longer valid in emerg...