Sciweavers

11718 search results - page 2095 / 2344
» Testing database applications
Sort
View
131
Voted
BPM
2006
Springer
128views Business» more  BPM 2006»
15 years 4 months ago
Towards Formal Verification of Web Service Composition
Abstract. Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries. Current Web services composition propos...
Mohsen Rouached, Olivier Perrin, Claude Godart
126
Voted
DLS
2007
177views Languages» more  DLS 2007»
15 years 4 months ago
An adaptive package management system for scheme
This paper presents a package management system for the Scheme programming language. It is inspired by the Comprehensive Perl Archive Network (CPAN) and various GNU/Linux distribu...
Manuel Serrano, Erick Gallesio
149
Voted
GECCO
2007
Springer
217views Optimization» more  GECCO 2007»
15 years 4 months ago
A quantitative analysis of memory requirement and generalization performance for robotic tasks
In autonomous agent systems, memory is an important element to handle agent behaviors appropriately. We present the analysis of memory requirements for robotic tasks including wal...
DaeEun Kim
DATE
2008
IEEE
97views Hardware» more  DATE 2008»
15 years 4 months ago
Energy Efficient and High Speed On-Chip Ternary Bus
We propose two crosstalk reducing coding schemes using ternary busses. In addition to low power consumption and reduced delay, our schemes offer other advantages over binary codin...
Chunjie Duan, Sunil P. Khatri
100
Voted
HOLOMAS
2007
Springer
15 years 4 months ago
Holonic Multiagent-Based System for Distributed Control of Semi-industrial Pilot Plants
Abstract. Semi-industrial pilot plants are the best experimental domain for advanced control systems testing with the real-world instrumentation. At the same time, inexpensive flex...
Mieczyslaw Metzger, Grzegorz Polaków
« Prev « First page 2095 / 2344 Last » Next »