17082 search results - page 238 / 3417 » Abstractions for Mobile Computation |
116
Voted
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
ion for Stochastic Systems by Erlang's Method of Stages Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 1 RWTH Aachen University 2 TU Munich 3 EPF La...
92
Voted
NSDI
2004
15 years 5 months ago
2004
gence of Networking Abstractions and Techniques in TinyOS Philip Levis , Sam Madden , David Gay , Joseph Polastre , Robert Szewczyk , Alec Woo , Eric Brewer and David Culler EECS ...
180
Voted
AI
2011
Springer
14 years 10 months ago
2011
Springer
ating Abstract Argumentation with Classical Logic Arguments: Postulates and Properties Nikos Gorogiannisa , Anthony Hunterb,∗ aDepartment of Computer Science, Queen Mary, Univers...
118
Voted
CONCUR
2004
Springer
15 years 9 months ago
2004
Springer
Systems (extended abstract) Simona Orzan and Tim A.C. Willemse Department of Mathematics and Computer Science, Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, T...
111
Voted
CHINZ
2005
ACM
15 years 5 months ago
2005
ACM
re the use of abstracted screenshots as part of a new help interface. Graphstract, an implementation of a graphical help system, extends the ideas of textually oriented Minimal Ma...