2500 search results - page 236 / 500 » Specifying Behavior in C |
155
click to vote
SEKE
2010
Springer
15 years 2 months ago
2010
Springer
Abstract--Property specification is still one of the most challenging tasks for transference of software verification technology like model checking. The use of patterns has been p...
146
click to vote
SSS
2010
Springer
15 years 2 months ago
2010
Springer
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
141
click to vote
WINE
2010
Springer
15 years 2 months ago
2010
Springer
We design algorithms for computing approximately revenue-maximizing sequential postedpricing mechanisms (SPM) in K-unit auctions, in a standard Bayesian model. A seller has K copi...
148
click to vote
DOCENG
2009
ACM
15 years 2 months ago
2009
ACM
This paper focuses on the support provided by NCL (Nested Context Language) to relate objects with imperative code content and declarative hypermedia-objects (objects with declara...
138
click to vote
TWC
2010
14 years 11 months ago
2010
An adaptive regenerate and forward cooperative diversity (CD) system using quadrature amplitude modulation (QAM) for a two-user cooperation is proposed. The proposed system can ach...