Sciweavers

15885 search results - page 384 / 3177
» The Modest Software Engineer
Sort
View
139
Voted
AMAST
2010
Springer
15 years 7 hour ago
Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
Ekaterina Komendantskaya, Guy McCusker, John Power
139
Voted
AMAST
2010
Springer
15 years 7 hour ago
Program Calculation in Coq
Julien Tesson, Hideki Hashimoto, Zhenjiang Hu, Fr&...
126
Voted
APSEC
2010
IEEE
15 years 4 hour ago
Rule-Based Composition Behaviors in Dynamic Plug-In Systems
Markus Jahn, Markus Löberbauer, Reinhard Wolf...
CCE
2011
14 years 12 months ago
Optimal scheduling of continuous plants with energy constraints
Pedro M. Castro, Iiro Harjunkoski, Ignacio E. Gros...