9626 search results - page 1481 / 1926 » Invariant Based Programming |
149
click to vote
DNA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. A major challenge in nanoscience is the design of synthetic molecular devices that run autonomously and are programmable. DNA-based synthetic molecular devices have the a...
159
click to vote
ECOWS
2007
Springer
16 years 1 months ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...
193
click to vote
EPIA
2007
Springer
16 years 1 months ago
2007
Springer
Recently, the logics of minimal knowledge and negation as failure MKNF [12] was used to introduce hybrid MKNF knowledge bases [14], a powerful formalism for combining open and clos...
182
click to vote
EUROGP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Speech quality, as perceived by the users of Voice over Internet Protocol (VoIP) telephony, is critically important to the uptake of this service. VoIP quality can be deg...
191
click to vote
GCC
2007
Springer
16 years 1 months ago
2007
Springer
The Message Passing Interface (MPI) is a standard in parallel computing, and can also be used as a highperformance programming model for Grid application development. How to execu...