3082 search results - page 607 / 617 » Deviation Analysis: A New Use of Model Checking |
124
click to vote
WECWIS
2003
IEEE
15 years 5 months ago
2003
IEEE
The huge success of eBay has proven the demand for customer-to-customer (C2C) electronic commerce. eBay is a centralized infrastructure with all its scalability problems (network ...
147
click to vote
MOBIHOC
2005
ACM
15 years 11 months ago
2005
ACM
This paper proposes a new principle for designing MAC protocols for spread spectrum based ad hoc networks ? inducing spatial clustering in contending transmitters/receivers. We fi...
PPOPP
2005
ACM
15 years 5 months ago
2005
ACM
In this paper, we develop a new language construct to address one of the pitfalls of parallel programming: precise handling of events across parallel components. The construct, te...
BMCBI
2007
14 years 11 months ago
2007
Background: Finding over- or under-represented motifs in biological sequences is now a common task in genomics. Thanks to p-value calculation for motif counts, exceptional motifs ...
178
click to vote
POPL
2006
ACM
16 years 1 hour ago
2006
ACM
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...