2060 search results - page 359 / 412 » The Composition of Event-B Models |
170
click to vote
C5
2008
IEEE
15 years 11 months ago
2008
IEEE
This paper provides an overview of MediaDART, a framework for building online services for distributing and sharing digital media. Inspired by the participative model of Web 2.0, ...
148
click to vote
CVPR
2008
IEEE
15 years 11 months ago
2008
IEEE
While low-dimensional image representations have been very popular in computer vision, they suffer from two limitations: (i) they require collecting a large and varied training se...
142
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Failure Mode and Effects Analysis (FMEA) is a wellknown technique widely used for safety assessment in the area of safety-critical systems. However, FMEA is traditionally done man...
152
click to vote
HICSS
2008
IEEE
15 years 11 months ago
2008
IEEE
Purpose: Drawing from literature on innovation, strategy and culture the objective of this study is to explore the role of perceived potentials and perceived strategic importance ...
147
click to vote
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
Kleene algebra with tests (KAT) is an equational system for program verification that combines Kleene algebra (KA), or the algebra of regular expressions, with Boolean algebra. I...