430 search results - page 57 / 86 » Design by Contract for Python |
124
click to vote
MOBISYS
2011
ACM
14 years 4 months ago
2011
ACM
This paper is motivated by two observations: (1) cellular network operators are actively exploring advertisement delivery as a new means of revenue generation, and (2) cellular ba...
126
click to vote
MOBIHOC
2009
ACM
16 years 2 months ago
2009
ACM
Providing differentiated Quality of Service (QoS) over unreliable wireless channels is an important challenge for supporting several future applications. We analyze a model that h...
110
click to vote
ICCAD
2004
IEEE
15 years 10 months ago
2004
IEEE
edicate Abstraction and Induction Edmund Clarke Daniel Kroening June 25, 2004 CMU-CS-04-131 School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213 It is common...
107
click to vote
COMPGEOM
2006
ACM
15 years 8 months ago
2006
ACM
We construct a class of envelope surfaces in Rd , more precisely envelopes of balls. An envelope surface is a closed C1 (tangent continuous) manifold wrapping tightly around the u...
117
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper is focused on the coordination of order and production policy between buyers and suppliers in supply chains. When a buyer and a supplier of an item work independently, ...