Sciweavers

15777 search results - page 185 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
EUROMICRO
2004
IEEE
15 years 6 months ago
Logical-Time Contracts for Reactive Embedded Components
Florence Maraninchi, Lionel Morel
DICS
2006
15 years 6 months ago
Scalable Programming Abstractions for XML Services
Burak Emir, Sebastian Maneth, Martin Odersky