3425 search results - page 524 / 685 » A Model Driven Approach for Software Systems Reliability |
139
Voted
ASE
2005
15 years 3 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
140
Voted
IPPS
1998
IEEE
15 years 8 months ago
1998
IEEE
In this paper we present the design, implementation and evaluation of a runtime system based on collective I/O techniques for irregular applications. We present two models, namely...
164
Voted
MMSEC
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we introduce to the special domain of image annotation watermarking, based on embedding of hierarchical data related to objects into user-selected areas on an image...
147
Voted
FC
1997
Springer
15 years 7 months ago
1997
Springer
Existing software proposals for electronic payments can be divided into "on-line" schemes that require participation of a trusted party (the bank) in every transaction an...
136
Voted
ISMAR
2006
IEEE
15 years 9 months ago
2006
IEEE
Augmented Reality (AR) aims to fuse a virtual world and a real one in an image stream. When considering only a vision sensor, it relies on registration techniques that have to be ...