Sciweavers

755 search results - page 33 / 151
» ideas 2005
Sort
View
ACSD
2005
IEEE
124views Hardware» more  ACSD 2005»
15 years 11 months ago
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
Radu Grosu, Scott A. Smolka
ASAP
2005
IEEE
108views Hardware» more  ASAP 2005»
15 years 11 months ago
Using Symbolic Feasibility Tests during Design Space Exploration of Heterogeneous Multi-Processor Systems
The task of automatic design space exploration of heterogeneous multi-processor systems is often tackled with Evolutionary Algorithms. In this paper, we propose a novel approach i...
Thomas Schlichter, Christian Haubelt, Frank Hannig...
C5
2005
IEEE
15 years 11 months ago
A Collaborative Environment for Users of Advanced Scientific Instruments
The paper proposes a different solution for a virtual collaborative environment for scientific research. The solution is the outcome of a project by Dutch, Swiss and English stude...
Hein Bles, Marco Boom, Laurien Broer van Dijk, Eri...
CIG
2005
IEEE
15 years 11 months ago
Dealing with Parameterized Actions in Behavior Testing of Commercial Computer Games
Abstract- We present a method that enhances evolutionary behavior testing of commercial computer games, as introduced in [CD+04], to deal with parameterized actions. The basic idea...
Jörg Denzinger, Kevin Loose, Darryl Gates, Jo...
CIG
2005
IEEE
15 years 11 months ago
Combining Coaching and Learning to Create Cooperative Character Behavior
Abstract- We present a concept for developing cooperative characters (agents) for computer games that combines coaching by a human with evolutionary learning. The basic idea is to ...
Jörg Denzinger, Chris Winder