Sciweavers

15778 search results - page 43 / 3156
» Aikido and software engineering
Sort
View
77
Voted
COMPSAC
1996
IEEE
15 years 4 months ago
Coordination of Systems with Real-Time Properties in Manifold
George A. Papadopoulos, Farhad Arbab
103
Voted
AMAST
1997
Springer
15 years 4 months ago
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract)
Patrick Cousot, Radhia Cousot
85
Voted
ARCS
1997
Springer
15 years 4 months ago
Kapselung mobiler Programme
Lars Reuther, Hermann Härtig
BTLAB
1997
Springer
15 years 4 months ago
Machine Intelligibility and the Duality Principle
Stephen Muggleton, Donald Michie