1887 search results - page 336 / 378 » Automatic Concept Evolution |
117
Voted
CSL
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We present a symbolic framework, based on a modular operational semantics, for formalizing different notions of compromise relevant for the analysis of cryptographic prot...
134
Voted
CIIA
2009
15 years 3 months ago
2009
Currently, Web services are available on Internet in a simple and easy way to use. However, a single service can not respond to a predetermined request by user. Thus, it is necessa...
129
Voted
ECSA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Numerous design decisions are made in model-based software development which often are not documented explicitly. Hence, the design knowledge is 'in the designers mi...
154
Voted
HASE
2008
IEEE
15 years 2 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
121
Voted
CGF
2010
15 years 2 months ago
2010
In this paper, we introduce the concept of isosurface similarity maps for the visualization of volume data. Isosurface similarity maps present structural information of a volume d...