Sciweavers

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