6020 search results - page 597 / 1204 » A New Approach to Model Counting |
212
click to vote
MOMM
2009
ACM
15 years 12 months ago
2009
ACM
This paper proposes a new approach for modelling, testing and prototyping pervasive, possibly mobile, and distributed applications. It describes a set of tools aimed at supporting...
190
click to vote
ICPP
1998
IEEE
15 years 11 months ago
1998
IEEE
In contrast to the conventional send/receive model, the one-way communication model--using Put and Synch--allows the decoupling of message transmission from synchronization. This ...
183
click to vote
CSMR
2004
IEEE
15 years 11 months ago
2004
IEEE
A Web site is a hyperlinked network environment, which consists of hundreds of inter-connected pages, usually without an engineered architecture. This is often a large, complex We...
188
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
- Extended Abstract of Industrial Talk IT services are an important means to achieve competitive advantages by creating new business models or by reducing costs. Furthermore, there...
184
click to vote
WSC
2007
15 years 9 months ago
2007
DIRECT (DIviding RECTangles) is a deterministic global optimization algorithm for bound-constrained problems. The algorithm, based on a space-partitioning scheme, performs both gl...