Sciweavers

3954 search results - page 280 / 791
» Image-based Model Completion
Sort
View
PATMOS
2007
Springer
16 years 22 days ago
Fast Calculation of Permissible Slowdown Factors for Hard Real-Time Systems
This work deals with the problem to optimise the energy consumption of an embedded system. On system level, tasks are assumed to have a certain CPU-usage they need for completion. ...
Henrik Lipskoch, Karsten Albers, Frank Slomka
WAOA
2004
Springer
132views Algorithms» more  WAOA 2004»
15 years 12 months ago
Stochastic Online Scheduling on Parallel Machines
We consider a non-preemptive, stochastic parallel machine scheduling model with the goal to minimize the weighted completion times of jobs. In contrast to the classical stochastic ...
Nicole Megow, Marc Uetz, Tjark Vredeveld
ISIPTA
2003
IEEE
15 years 12 months ago
Graphical Representation of Asymmetric Graphoid Structures
Independence models induced by some uncertainty measures (e.g. conditional probability, possibility) do not obey the usual graphoid properties, since they do not satisfy the symme...
Barbara Vantaggi
ESWS
2010
Springer
15 years 11 months ago
Making the Semantic Data Web Easily Writeable with RDFauthor
Abstract. In this demo we present RDFauthor, an approach for authoring information that adheres to the RDF data model. RDFauthor completely hides syntax as well as RDF and ontology...
Sebastian Tramp, Norman Heino, Sören Auer, Ph...
COMPSAC
2000
IEEE
15 years 11 months ago
Automating Scenario-Driven Structured Requirements Engineering
Scenario analysis is a vehicle of separating concerns in the elicitation of users' requirements. It is also a means of requirements validation and verification. In the practi...
Hong Zhu, Lingzi Jin