ICSE
1999
IEEE-ACM
13 years 8 months ago
1999
IEEE-ACM
In this paper, a case study investigating the experiences from using product-line architectures is presented involving two swedish companies, Axis Communications AB and Securitas ...
RSP
1999
IEEE
13 years 8 months ago
1999
IEEE
A platform and methodology for real time systems on chip prototyping is presented. The JPEG case study is presented as an example of prototyping. The proposed methodology overcome...
ECAL
1999
Springer
13 years 8 months ago
1999
Springer
We report on a case study in the emergence of a lexicon in a group of autonomous distributed agents situated and grounded in an open environment. Because the agents are autonomous,...
DATE
1999
IEEE
13 years 9 months ago
1999
IEEE
A case study of a crane is defined for the evaluation of system description languages. The plant (car and load) is given as a fourth-order linear system. The embedded control incl...
CODES
1999
IEEE
13 years 9 months ago
1999
IEEE
We present a case study on the design of a heterogeneous architecture for MPEG-2 video decoding. The primary objective of the case study is the validation of the SPADE methodology...
ASM
2000
ASM
13 years 9 months ago
2000
ASM
Abstract. We look at some sources of insecurity and difficulty in reasoning about partially ordered runs of distributed ASMs, and propose some techniques to facilitate such reasoni...
VRML
2000
ACM
13 years 9 months ago
2000
ACM
Business visualization is becoming increasingly important, since managers recognize the power of human visual intuition in information-rich decision tasks. Nevertheless, despite i...
ISSTA
2000
ACM
13 years 9 months ago
2000
ACM
Given some test case, a program fails. Which part of the test case is responsible for the particular failure? We show how our delta debugging algorithm generalizes and simplifies...
UML
2001
Springer
13 years 9 months ago
2001
Springer
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
IFIP
2001
Springer
13 years 9 months ago
2001
Springer
There is an ongoing debate about how to improve the quality of empirical research efforts in information systems. One of the persistent issues within the debate concerns the relat...