Sciweavers

15777 search results - page 298 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
SEFM
2005
IEEE
15 years 9 months ago
Pragmatic Consistency Management in Industrial Requirements Specifications
Jan Scheffczyk, Uwe M. Borghoff, Andreas Birk, Joh...
STEP
2005
IEEE
15 years 9 months ago
Open Challenges in Ubiquitous and Net-Centric Computing Middleware
Thierry Bodhuin, Gerardo Canfora, Rosa Preziosi, M...
95
Voted
FASE
2005
Springer
15 years 9 months ago
Automated Compositional Proofs for Real-Time Systems
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Ange...