Sciweavers

3885 search results - page 229 / 777
» Transformations for Write-All-with-Collision Model
Sort
View
VALUETOOLS
2006
ACM
162views Hardware» more  VALUETOOLS 2006»
16 years 3 days ago
Using UML state machines and petri nets for the quantitative investigation of ETCS
This paper proposes the modeling of technical systems and their behavior by means of Unified Modeling Language (UML) State Machines and the extending UML Profile for Schedulabil...
Jan Trowitzsch, Armin Zimmermann
153
Voted
FASE
2009
Springer
15 years 10 months ago
Problem-Oriented Documentation of Design Patterns
In order to retrieve, select and apply design patterns in a tool-supported way, we suggest to construct and document a problemcontext pattern that reflects the essence of the prob...
Alexander Fülleborn, Klaus Meffert, Maritta H...
MSWIM
2000
ACM
15 years 10 months ago
Performance analysis of mobile agents for filtering data streams on wireless networks
Wireless networks are an ideal environment for mobile agents, because their mobility allows them to move across an unreliable link to reside on a wired host, next to or closer to ...
David Kotz, Guofei Jiang, Robert S. Gray, George C...
ECAI
2000
Springer
15 years 10 months ago
Autonomous Environment and Task Adaptation for Robotic Agents
This paper investigates the problem of improving the performance of general state-of-the-art robot control systems by autonomously adapting them to specific tasks and environments...
Michael Beetz, Thorsten Belker
ECOOP
2007
Springer
15 years 10 months ago
Model-driven Software Refactoring
In this chapter, we explore the emerging research domain of modeldriven software refactoring. Program refactoring is a proven technique that aims at improving the quality of sourc...
Tom Mens, Gabriele Taentzer