1743 search results - page 270 / 349 » Language resources for Hebrew |
182
click to vote
ESOP
2009
Springer
16 years 25 days ago
2009
Springer
Hofmann and Jost have presented a heap space analysis [1] that finds linear space bounds for many functional programs. It uses an amortised analysis: assigning hypothetical amount...
168
click to vote
SCAM
2008
IEEE
16 years 13 days ago
2008
IEEE
—More and more current software systems rely on non trivial coordination logic for combining autonomous services typically running on different platforms and often owned by diffe...
181
click to vote
SAC
2006
ACM
16 years 8 hour ago
2006
ACM
Traditional semantic web query languages support a logicbased access to the semantic web. They offer a retrieval (or reasoning) of data based on facts. On the traditional web and...
167
click to vote
VEE
2006
ACM
16 years 4 hour ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
181
click to vote
RSP
2005
IEEE
15 years 11 months ago
2005
IEEE
Abstract— John von Neumann proposed his famous architecture in a context where hardware was very expensive and bulky. His goal was to maximize functionality with minimal hardware...