Sciweavers

5228 search results - page 837 / 1046
» Case Studies for Software Engineers
Sort
View
ISSRE
2006
IEEE
16 years 19 days ago
A Systematic Approach to Generate Inputs to Test UML Design Models
Practical model validation techniques are needed for model driven development (MDD) techniques to succeed. This paper presents an approach to generating inputs to test UML design ...
Trung T. Dinh-Trong, Sudipto Ghosh, Robert B. Fran...
ARCS
2005
Springer
16 years 5 days ago
Self-Organization in Sensor Networks using Bio-Inspired Mechanisms
Bio-inspired communication methodologies promise to enable more scalable self-organizing network infrastructures. Especially in the area of mobile ad hoc sensor networks, such sol...
Falko Dressler, Bettina Krüger, Gerhard Fuchs...
EMSOFT
2005
Springer
16 years 4 days ago
Minimizing expected energy in real-time embedded systems
We study the problem of minimizing energy consumption in realtime embedded systems that execute variable workloads and are equipped with processors having dynamic voltage scaling ...
Ruibin Xu, Daniel Mossé, Rami G. Melhem
EUROSPI
2005
Springer
16 years 4 days ago
Pair Programming vs. Side-by-Side Programming
In agile methodologies communication between programmers is very important. Some of them (e.g. XP or Crystal Clear) recommend pair programming. There are two styles of pair program...
Jerzy R. Nawrocki, Michal Jasiñski, Lukasz ...
FOSSACS
2005
Springer
16 years 4 days ago
Stochastic Transition Systems for Continuous State Spaces and Non-determinism
Abstract. We study the interaction between non-deterministic and probabilistic behaviour in systems with continuous state spaces, arbitrary probability distributions and uncountabl...
Stefano Cattani, Roberto Segala, Marta Z. Kwiatkow...