5451 search results - page 570 / 1091 » Typed Operational Semantics |
168
click to vote
AINA
2009
IEEE
16 years 1 months ago
2009
IEEE
This paper introduces a novel approach for modelling and specifying behaviors of Web services. This approach excludes Web services from any composition scenario and sheds the ligh...
176
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
The critical functionality of many software applications relies on code that performs mathematically complex computations. However, such code is often difficult to test owing to t...
158
click to vote
MFCS
2009
Springer
16 years 1 months ago
2009
Springer
We define a framework called the prismoid of resources where each vertex refines the λ-calculus by using a different choice to make explicit or implicit (meta-level) the defin...
172
click to vote
SCALESPACE
2009
Springer
16 years 1 months ago
2009
Springer
Multi-class labeling is one of the core problems in image analysis. We show how this combinatorial problem can be approximately solved using tools from convex optimization. We sugg...
212
click to vote
CISS
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— We consider a joint randomized scheduling, congestion control mechanism for general wireless networks. We allow for a set of imperfections in the operation of the rando...