5536 search results - page 768 / 1108 » Programming Languages for Distributed Applications |
149
click to vote
CP
2007
Springer
16 years 1 months ago
2007
Springer
Salinity is the relative concentration of salts in water. In a city of southern China, the local water supply company pumps water from a nearby river for potable use. During the wi...
178
Voted
ISSRE
2006
IEEE
16 years 25 days ago
2006
IEEE
BPEL is a language that could express complex concurrent behaviors. This paper presents a novel method of BPEL test case generation, which is based on concurrent path analysis. Th...
197
click to vote
CD
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This paper presents a middleware platform we designed in order to allow the deployment of component-based software applications on mobile devices (such as laptops or pers...
175
click to vote
ASPLOS
2004
ACM
16 years 8 days ago
2004
ACM
We introduce Shear, a user-level software tool that characterizes RAID storage arrays. Shear employs a set of controlled algorithms combined with statistical techniques to automat...
203
click to vote
PADL
2004
Springer
16 years 5 days ago
2004
Springer
Gentzen’s Hauptsatz – cut elimination theorem – in sequent calculi reveals a fundamental property on logic connectives in various logics such as classical logic and intuition...