Sciweavers

2501 search results - page 451 / 501
» Logics with Rank Operators
Sort
View
176
Voted
ICFEM
2010
Springer
15 years 2 months ago
Dynamic Resource Reallocation between Deployment Components
Abstract. Today’s software systems are becoming increasingly configurable and designed for deployment on a plethora of architectures, ranging from sequential machines via multic...
Einar Broch Johnsen, Olaf Owe, Rudolf Schlatte, Si...
153
Voted
TPDS
2010
260views more  TPDS 2010»
15 years 2 months ago
Real-Time Modeling of Wheel-Rail Contact Laws with System-On-Chip
—This paper presents the development and implementation of a multiprocessor system-on-chip solution for fast and real time simulations of complex and nonlinear wheel-rail contact...
Yongji Zhou, T. X. Mei, Steven Freear
TPLP
2010
115views more  TPLP 2010»
15 years 2 months ago
Towards closed world reasoning in dynamic open worlds
The need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this p...
Martin Slota, João Leite
ASAP
2010
IEEE
315views Hardware» more  ASAP 2010»
15 years 2 months ago
A compact FPGA-based architecture for elliptic curve cryptography over prime fields
Abstract--This paper proposes an FPGA-based applicationspecific elliptic curve processor over a prime field. This research targets applications for which compactness is more import...
Jo Vliegen, Nele Mentens, Jan Genoe, An Braeken, S...
159
Voted
ER
2010
Springer
164views Database» more  ER 2010»
15 years 2 months ago
Querying Databases with Taxonomies
Traditional information search in which queries are posed against a known and rigid schema over a structured database is shifting towards a Web scenario in which exposed schemas ar...
Davide Martinenghi, Riccardo Torlone