Sciweavers

1040 search results - page 91 / 208
» The Role of Controlled Experiments in Software Engineering R...
Sort
View
122
Voted
AMAST
2004
Springer
15 years 10 months ago
Counting Votes with Formal Methods
This abstract provides some background information about the electronic voting experiment that is planned in the Netherlands for the European Elections of 2004, and about our own i...
Bart Jacobs
WIAS
2010
98views more  WIAS 2010»
15 years 3 months ago
A multiagent architecture for controlling the Palamede satellite
The fundamental role of autonomous agents in managing activities of space systems has emerged some years ago with the NASA’s Remote Agent Experiment. However, the possible advant...
Francesco Amigoni, Stefano Gualandi, Daniele Menot...
AINA
2008
IEEE
15 years 11 months ago
WS-BPEL Process Compiler for Resource-Constrained Embedded Systems
Process management and workflow systems play an important role in the composition of services in business as well as automation environments. Processes are designed using tools a...
Hendrik Bohn, Andreas Bobek, Frank Golatowski
ICSE
2004
IEEE-ACM
16 years 4 months ago
Unifying Artifacts and Activities in a Visual Tool for Distributed Software Development Teams
In large projects, software developers struggle with two sources of complexity ? the complexity of the code itself, and the complexity of the process of producing it. Both of thes...
Jon Froehlich, Paul Dourish
SIGCSE
2006
ACM
131views Education» more  SIGCSE 2006»
15 years 10 months ago
An undergraduate course on software bug detection tools and techniques
The importance of software bug detection tools is high with the constant threat of malicious activity. Companies are increasingly relying on software bug detection tools to catch ...
Eric Larson