Sciweavers

494 search results - page 51 / 99
» On Some Epistemological Problems of Software Engineering
Sort
View
ICECCS
1999
IEEE
88views Hardware» more  ICECCS 1999»
15 years 2 months ago
UML + ROOM as a Standard ADL?
Designing a software system's architecture properly is one of the most important tasks of any software engineering project. Nevertheless there exists no common definition of ...
Bernhard Rumpe, M. Schoenmakers, Ansgar Radermache...
FATES
2005
Springer
15 years 3 months ago
Testing Systems of Concurrent Black-Boxes-An Automata-Theoretic and Decompositional Approach
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
Gaoyan Xie, Zhe Dang
FSTTCS
2001
Springer
15 years 2 months ago
Semidefinite Programming Based Approximation Algorithms
Semidefinite programming based approximation algorithms, such as the Goemans and Williamson approximation algorithm for the MAX CUT problem, are usually shown to have certain perf...
Uri Zwick
SIAMAM
2011
14 years 4 months ago
On the Kleinman-Martin Integral Equation Method for Electromagnetic Scattering by a Dielectric Body
The interface problem describing the scattering of time-harmonic electromagnetic waves by a dielectric body is often formulated as a pair of coupled boundary integral equations fo...
Martin Costabel, Frédérique Le Lou&e...
SIGCSE
1999
ACM
119views Education» more  SIGCSE 1999»
15 years 2 months ago
Granularity in the design of interactive illustrations
We describe some issues in designing and building educational Java applets for an introductory computer graphics course. The design problem involves balancing educational goals of...
Daniel L. Gould, Rosemary Michelle Simpson, Andrie...