11017 search results - page 1897 / 2204 » Closure Systems and their Structure |
191
click to vote
ECAL
2007
Springer
15 years 11 months ago
2007
Springer
Often the selfish and strong are believed to be favored by natural selection, even though cooperative interactions thrive at all levels of organization in living systems. Recent em...
188
click to vote
ECOOP
2007
Springer
15 years 11 months ago
2007
Springer
Java(X) is a framework for type refinement. It extends Java's type language with annotations drawn from an algebra X and structural subtyping in terms of the annotations. Each...
239
click to vote
ELPUB
2007
ACM
15 years 11 months ago
2007
ACM
In this paper I present the reasoning behind the development of a new end-to-end publishing system for academic writers. The story starts with investigating digital preservation o...
209
click to vote
ERLANG
2007
ACM
15 years 11 months ago
2007
ACM
We propose a small extension of the ERLANG language that allows programmers to specify contracts with type information at the level of individual functions. Such contracts are opt...
205
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. Synthesis of finite state systems from full linear time temporal logic (LTL) specifications is gaining more and more attention as several recent achievements have signi...