Sciweavers

15777 search results - page 121 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
AC
2003
Springer
15 years 7 months ago
Generic Properties of Datatypes
Roland Carl Backhouse, Paul F. Hoogendijk
91
Voted
AC
2003
Springer
15 years 7 months ago
Modeling Complexity in Secure Distributed Computing
Christian Cachin
88
Voted
AC
2003
Springer
15 years 7 months ago
Challenges in Making Pervasive Systems Dependable
Christof Fetzer, Karin Högstedt
69
Voted
AC
2003
Springer
15 years 7 months ago
Message Sequence Charts
Blaise Genest, Anca Muscholl, Doron Peled