4917 search results - page 390 / 984 » Software Engineering is Not Computer Science |
130
Voted
KBSE
2000
IEEE
15 years 8 months ago
2000
IEEE
Circular coinductive rewriting is a new method for proving behavioral properties, that combines behavioral rewriting with circular coinduction. This method is implemented in our n...
150
click to vote
IUI
2000
ACM
15 years 8 months ago
2000
ACM
This paper describes the design and implementation of the Office Assistant – an agent that interacts with visitors at the office door and manages the office owner’s schedule. ...
111
click to vote
EUROMICRO
1997
IEEE
15 years 8 months ago
1997
IEEE
Metacomputing is an emergent paradigm that makes possible to distribute applications over a heterogeneous set of computing systems to exploit all available resources. The paper pr...
131
click to vote
ARCS
1997
Springer
15 years 8 months ago
1997
Springer
To provide a computing system to be dependable fault tolerance mechanisms have to be included. Especially massive parallelism represents a new challenge for fault tolerance. In th...
125
click to vote
ICSE
1994
IEEE-ACM
15 years 8 months ago
1994
IEEE-ACM
We apply mathematical concept analysis to the problem of infering configuration structures from existing source code. Concept analysis has been developed by German mathematicians ...