152
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
Machines Olivier Danvy BRICS Report Series RS-08-7 ISSN 0909-0878 July 2008 08-7O.Danvy:DenotationalSemantics,NaturalSemantics,andAbstractMachinesforScheme
241
click to vote
B
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. A recent contribution to the formal specification and verification of concurrent systems is the integration of the state- and event-based approaches B and CSP, specifical...
190
click to vote
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer
We consider the problem of minimizing average flow time on multiple machines when each job can be assigned only to a specified subset of the machines. This is a special case of sc...
167
click to vote
ICWE
2010
Springer
15 years 10 months ago
2010
Springer
Future Web applications will increasingly require real-time data from the physical world collected by a myriad of sensors and actuators. Currently, integration of such devices requ...
BIRTHDAY
2009
Springer
15 years 10 months ago
2009
Springer