Sciweavers

15885 search results - page 383 / 3177
» The Modest Software Engineer
Sort
View
ICFEM
2010
Springer
15 years 4 months ago
Model Checking Hierarchical Probabilistic Systems
Jun Sun 0001, Songzheng Song, Yang Liu 0003
AOSD
2011
ACM
15 years 1 months ago
Making aspects natural: events and composition
Christoph Bockisch, Somayeh Malakuti, Mehmet Aksit...
228
Voted
APIN
2011
15 years 1 months ago
Schedule coordination through egalitarian recurrent multi-unit combinatorial auctions
Javier Murillo, Víctor Muñoz, D&iacu...
APPML
2011
15 years 1 months ago
Improved intermediate asymptotics for the heat equation
Jean-Philippe Bartier, Adrien Blanchet, Jean Dolbe...