572 search results - page 106 / 115 » Formal Properties of Metrical Structure |
273
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components running in an unreliable environment such as the internet into sy...
148
click to vote
AMR
2007
Springer
16 years 4 days ago
2007
Springer
This paper is a critical analysis of the use of ontology as an instrument to specify the semantics of a document. The paper argue that not only is a logic of the type used in ontol...
169
click to vote
ICFCA
2004
Springer
15 years 11 months ago
2004
Springer
BLID (Bio-Logical Intelligent Database) is a bioinformatic system designed to help biologists extract new knowledge from raw genome data by providing high-level facilities for both...
177
click to vote
WADT
2004
Springer
15 years 11 months ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
191
click to vote
FM
2008
Springer
15 years 7 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...