Sciweavers

2251 search results - page 206 / 451
» Specification and Implementation Problems for C
Sort
View
VLDB
2007
ACM
126views Database» more  VLDB 2007»
16 years 4 months ago
SOR: A Practical System for Ontology Storage, Reasoning and Search
Ontology, an explicit specification of shared conceptualization, has been increasingly used to define formal data semantics and improve data reusability and interoperability in en...
Chen Wang, Jean-Sébastien Brunner, Jing Lu,...
ICCAD
2003
IEEE
100views Hardware» more  ICCAD 2003»
16 years 1 months ago
A Theory of Non-Deterministic Networks
Both non-determinism and multi-level networks compactly characterize the flexibility allowed in implementing a circuit. A theory for representing and manipulating non-deterministi...
Alan Mishchenko, Robert K. Brayton
CISIM
2008
IEEE
15 years 10 months ago
Tuning Struggle Strategy in Genetic Algorithms for Scheduling in Computational Grids
Job Scheduling on Computational Grids is gaining importance due to the need for efficient large-scale Grid-enabled applications. Among different optimization techniques addressed ...
Fatos Xhafa, Bernat Duran, Ajith Abraham, Keshav P...
HICSS
2007
IEEE
111views Biometrics» more  HICSS 2007»
15 years 10 months ago
Joint Reference Modeling: Collaboration Support through Version Management
The derivation of specific models from reference models corresponds with the creation of reference model variants. Research on the design of such variant constructions generally a...
Oliver Thomas
ICC
2007
IEEE
170views Communications» more  ICC 2007»
15 years 10 months ago
Optimal Bandwidth Provision at WiMAX MAC Service Access Point on Uplink Direction
—In this paper, the IEEE 802.16 protocol is investigated with respect to the bandwidth provision problem arising at the Medium Access Control (MAC) layer. The aim is to optimally...
Mario Marchese, Maurizio Mongelli