Sciweavers

23 search results - page 2 / 5
» One More Step in the Direction of Modularized Integration Co...
Sort
View
ACSD
2008
IEEE
108views Hardware» more  ACSD 2008»
13 years 6 months ago
Modular construction of finite and complete prefixes of Petri net unfoldings
This paper considers distributed systems, defined as a collection of components interacting through interfaces. Components, interfaces and distributed systems are modeled as Petri...
Agnes Madalinski, Eric Fabre
IVA
2005
Springer
13 years 10 months ago
Direct Manipulation Like Tools for Designing Intelligent Virtual Agents
If intelligent virtual agents are to become widely adopted it is vital that they can be designed using the user friendly graphical tools that are used in other areas of graphics. H...
Marco Gillies, Dale Robeterson, Daniel Ballin
RTCSA
2009
IEEE
13 years 11 months ago
Branch Target Buffers: WCET Analysis Framework and Timing Predictability
—One step in the verification of hard real-time systems is to determine upper bounds on the worst-case execution times (WCET) of tasks. To obtain tight bounds, a WCET analysis h...
Daniel Grund, Jan Reineke, Gernot Gebhard
AGTIVE
2003
Springer
13 years 10 months ago
Integrating Graph Rewriting and Standard Software Tools
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...
Uwe Aßmann, Johan Lövdahl
ISIPTA
2005
IEEE
125views Mathematics» more  ISIPTA 2005»
13 years 10 months ago
Evidential modeling for pose estimation
Pose estimation involves reconstructing the configuration of a moving body from images sequences. In this paper we present a general framework for pose estimation of unknown obje...
Fabio Cuzzolin, Ruggero Frezza