3676 search results - page 528 / 736 » Scalable component abstractions |
193
click to vote
CP
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Searching objects within a catalog is a problem of increasing importance, as the general public has access to increasing volumes of data. Constraint programming has addre...
199
click to vote
MA
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The goal of mobile agent systems is to provide a distributed computing infrastructure supporting applications whose components can move between different execution enviro...
187
Voted
MMMACNS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Many design flaws and incorrect analyses of cryptographic protoAppeared in the Proceedings of the First International Workshop on Mathematical Methods, Models and Archit...
166
click to vote
SAS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
177
click to vote
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...