Sciweavers

3830 search results - page 497 / 766
» From Reference Model to Component Model
Sort
View
MICRO
2002
IEEE
100views Hardware» more  MICRO 2002»
15 years 8 months ago
Microarchitectural exploration with Liberty
To find the best designs, architects must rapidly simulate many design alternatives and have confidence in the results. Unfortunately, the most prevalent simulator construction ...
Manish Vachharajani, Neil Vachharajani, David A. P...
KBSE
1998
IEEE
15 years 8 months ago
Automated Integrative Analysis of State-based Requirements
Statically analyzing requirements specifications to assure that they possess desirable properties is an important activity in any rigorous software development project. The analys...
Barbara J. Czerny, Mats Per Erik Heimdahl
VLDB
1997
ACM
141views Database» more  VLDB 1997»
15 years 8 months ago
Efficient User-Adaptable Similarity Search in Large Multimedia Databases
Efficient user-adaptable similarity search more and more increases in its importance for multimedia and spatial database systems. As a general similarity model for multi-dimension...
Thomas Seidl, Hans-Peter Kriegel
CSWWS
2006
15 years 7 months ago
A Semantic Web Mediation Architecture
Abstract. Heterogeneity is an inherent characteristic of open and distributed environments like the Internet that can hamper Web resources and Web services from successful interope...
Michael Stollberg, Emilia Cimpian, Adrian Mocan, D...
146
Voted
FUIN
2008
123views more  FUIN 2008»
15 years 3 months ago
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
Shahram Esmaeilsabzali, Nancy A. Day, Farhad Mavad...