1567 search results - page 21 / 314 » A Mechanized Model of the Theory of Objects |
ACAL
2007
Springer
15 years 5 months ago
2007
Springer
In this study, we describe an evolutionary mechanism
125
click to vote
ICTCS
2003
Springer
15 years 6 months ago
2003
Springer
The algebraic models of computation for contextual nets that have been proposed in the literature either rely on a non-free monoid of objects, or introduce too many fictitious beh...
114
click to vote
FM
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
125
click to vote
ISMB
1998
15 years 2 months ago
1998
Existing query interfaces for biological databases are either based on fixed forms or textual query languages. Users of a fixed form-based query interface are limited to performin...
121
click to vote
ACMICEC
2006
ACM
15 years 5 months ago
2006
ACM
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...