Sciweavers

354 search results - page 53 / 71
» Consistency between Executable and Abstract Processes
Sort
View
APPROX
2009
Springer
99views Algorithms» more  APPROX 2009»
14 years 4 months ago
Resource Minimization Job Scheduling
Abstract. Given a set J of jobs, where each job j is associated with release date rj, deadline dj and processing time pj, our goal is to schedule all jobs using the minimum possibl...
Julia Chuzhoy, Paolo Codenotti
FM
2009
Springer
123views Formal Methods» more  FM 2009»
14 years 4 months ago
"Carbon Credits" for Resource-Bounded Computations Using Amortised Analysis
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
Steffen Jost, Hans-Wolfgang Loidl, Kevin Hammond, ...
IRI
2005
IEEE
14 years 3 months ago
Comparing similarity calculation methods in conversational CBR
Abstract— Conversational Case-Based-Reasoning (CCBR) provides a mixed-initiative dialog for guiding users to construct their problem description incrementally through a question-...
Mingyang Gu, Xin Tong, Agnar Aamodt
CIG
2006
IEEE
14 years 1 months ago
Using Wearable Sensors for Real-Time Recognition Tasks in Games of Martial Arts - An Initial Experiment
Abstract-- Beside their stunning graphics, modern entertainment systems feature ever-higher levels of immersive userinteraction. Today, this is mostly achieved by virtual (VR) and ...
Ernst A. Heinz, Kai S. Kunze, Matthias Gruber, Dav...
MKWI
2008
188views Business» more  MKWI 2008»
13 years 11 months ago
A Pragmatic Approach to Traceability in Model-Driven Development
: A common problem in model-driven software development processes is the tracing of requirements across different phases of the software development life cycle iple levels of abstr...
Markus Aleksy, Tobias Hildenbrand, Claudia Obergfe...