7109 search results - page 1168 / 1422 » Process Algebra with Combinators |
160
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
The implementation of software systems with large numbers of heterogeneous components calls for a powerful design methodology. Although several such methodologies have been propos...
187
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This paper approaches the issue of coordination of highly autonomous Automated Guided Vehicles (AGVs) working on an automated factory. These vehicles are used for goods delivery t...
177
click to vote
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
MetaMap is an online application that allows mapping text to UMLS Metathesaurus concepts, which is very useful interoperability among different languages and systems within the bi...
172
Voted
CIKM
2008
Springer
15 years 8 months ago
2008
Springer
Similarity search in metric spaces is a general paradigm that can be used in several application fields. It can also be effectively exploited in content-based image retrieval syst...
162
click to vote
ASPDAC
2005
ACM
15 years 8 months ago
2005
ACM
In this paper, we present the power estimation methodologies for the development of a low-power security processor that contains significant amount of logic and memory. For the lo...