2409 search results - page 247 / 482 » Logical systems for structured specifications |
169
click to vote
EBERNBURG
1990
15 years 8 months ago
1990
In the theory of living systems any description of self-organizing processes is confronted by a very central problem concerning the role of the system's boundary, i.e., there...
120
click to vote
ICDAR
1999
IEEE
15 years 8 months ago
1999
IEEE
PixED (from Pixel to Electronic Document) is aimed at converting document images into structured electronic documents which can be read by a machine for information retrieval. The...
146
Voted
CIDR
2009
15 years 5 months ago
2009
The traditional architecture for a DBMS engine has the recovery, concurrency control and access method code tightly bound together in a storage engine for records. We propose a di...
156
Voted
C5
2004
IEEE
15 years 8 months ago
2004
IEEE
Skeleton is a visual scripting environment as an extension of Squeak etoy [1] with Connectors [2] system to make mathematical and physical simulation for non professional computer...
145
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....