3311 search results - page 536 / 663 » Deductive Object Programming |
REFLECTION
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. Using mobile agent systems, cooperative distributed applications that run over the Internet can be constructed flexibly. However, there are some problems: it is difficul...
121
click to vote
CIE
2007
Springer
15 years 2 months ago
2007
Springer
We study computer virology from an abstract point of view. Viruses and worms are self-replicating programs, whose constructions are essentially based on Kleene's second recurs...
115
Voted
ICFP
2010
ACM
14 years 11 months ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...
89
Voted
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
72
Voted
BMCBI
2006
14 years 10 months ago
2006
Background: The main aim of this study was to develop and implement an algorithm for the rapid, accurate and automated identification of paths leading from buried protein clefts, ...