3555 search results - page 481 / 711 » Security-Critical System Development with Extended Use Cases |
129
click to vote
ICIP
2004
IEEE
16 years 7 months ago
2004
IEEE
The technology of color filter arrays (CFA) has been widely used in the digital camera industry since it provides several advantages like low cost, exact registration, and strong ...
201
click to vote
ICSOC
2010
Springer
15 years 4 months ago
2010
Springer
In this demo paper we present the prototype of our fault injection testbed generator. Our tool empowers engineers to generate emulated SOA environments and to program fault injecti...
142
click to vote
DATE
2007
IEEE
15 years 12 months ago
2007
IEEE
1 Developing modern integrated and embedded systems require well-designed processes to ensure flexibility and independency. These features are related to exchangeability of hardw...
157
click to vote
IFM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
164
Voted
MOBIDE
2006
ACM
15 years 11 months ago
2006
ACM
Composition of temporal and spatial properties of real world objects in a unified data framework results into Moving Object Databases (MOD). MODs are able to process, manage and a...