Sciweavers

659 search results - page 53 / 132
» Binding as sets of scopes
Sort
View
103
Voted
OTM
2007
Springer
15 years 6 months ago
Scalability of OWL Reasoning: Role condensates
In the last years, there has been an increasing interest in the performance of reasoning on the Semantic Web in presence of large ABoxes. Traditional reasoners make heavily use of ...
Sebastian Wandelt, Ralf Möller
90
Voted
ETFA
2005
IEEE
15 years 6 months ago
Dynamic guarantee in component-based distributed real-time systems
This work describes the proposal of a set of mechanisms to be applied in distributed component-based systems to allow the development of real-time applications capable of offering...
Cássia Yuri Tatibana, Rômulo Silva de...
TMRA
2005
Springer
15 years 6 months ago
tolog - A Topic Maps Query Language
Abstract. This paper describes a query algebra for tolog, a query language for Topic Maps inspired by Prolog and very similar to Datalog. The language is based on binding variables...
Lars Marius Garshol
100
Voted
GRID
2004
Springer
15 years 6 months ago
Walden: A Scalable Solution for Grid Account Management
— A large and diverse consortium of grid clusters, as can be found in a university setting, requires a flexible authorization model that is scalable, extensible and easy to admi...
Beth A. Kirschner, Thomas J. Hacker, William A. Ad...
DATE
2003
IEEE
102views Hardware» more  DATE 2003»
15 years 5 months ago
Power Constrained High-Level Synthesis of Battery Powered Digital Systems
We present a high-level synthesis algorithm solving the combined scheduling, allocation and binding problem minimizing area under both latency and maximum power per clock-cycle co...
S. F. Nielsen, Jan Madsen