Sciweavers

2562 search results - page 65 / 513
» Components of the Fundamental Category
Sort
View
SIGSOFT
2000
ACM
15 years 10 months ago
The universe model: an approach for improving the modularity and reliability of concurrent programs
We present the universe model,a new approach to concurrencymanagement that isolates concurrency concerns and represents them in the modular interface of a component. This approach...
Reimer Behrends, Kurt Stirewalt
AICCSA
2006
IEEE
130views Hardware» more  AICCSA 2006»
15 years 8 months ago
A Categorization Scheme for Semantic Web Search Engines
Semantic web search engines are evolving and many prototype systems and some implementation have been developed. However, there are some different views on what a semantic search e...
Kyumars Sheykh Esmaili, Hassan Abolhassani
SLIP
2006
ACM
16 years 11 days ago
The routability of multiprocessor network topologies in FPGAs
A fundamental difference between ASICs and FPGAs is that wires in ASICs are designed such that it matches the requirements of a particular design. Wire parameters such as: length...
Manuel Saldaña, Lesley Shannon, Paul Chow
JFP
2006
113views more  JFP 2006»
15 years 6 months ago
Consistency of the theory of contexts
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...
Anna Bucalo, Furio Honsell, Marino Miculan, Ivan S...
ASM
2003
ASM
15 years 11 months ago
A Framework for Proving Contract-Equipped Classes
r in: Abstract State Machines 2003 — Advances in Theory and Applications, Proc. 10th International Workshop, Taormina, Italy, March 3-7, 2003, eds. Egon Boerger, Angelo Gargantin...
Bertrand Meyer