Sciweavers

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