Sciweavers

1744 search results - page 174 / 349
» A Similarity-Driven Transfer System
Sort
View
CORR
2010
Springer
77views Education» more  CORR 2010»
15 years 6 months ago
Sound Bisimulations for Higher-Order Distributed Process Calculus
Abstract. While distributed systems with transfer of processes have become pervasive, methods for reasoning about their behaviour are underdeveloped. In this paper we develop a bis...
Adrien Piérard, Eijiro Sumii
JANCL
2008
133views more  JANCL 2008»
15 years 6 months ago
Modal logic and invariance
Consider any logical system, what is its natural repertoire of logical operations? This question has been raised in particular for first-order logic and its extensions with genera...
Johan van Benthem, Denis Bonnay
IJKM
2007
375views more  IJKM 2007»
15 years 6 months ago
The Quality of Knowledge: Knowledge Patterns and Knowledge Refactorings
: Knowledge management is a relatively young discipline. Nevertheless, it has accumulated a valuable body-of-knowledge in the structuring of knowledge and in the design of socio-te...
Jörg Rech, Björn Decker, Eric Ras, Andre...
AUTOMATICA
2000
72views more  AUTOMATICA 2000»
15 years 6 months ago
Direct iterative tuning via spectral analysis
This paper introduces a nonparametric frequency-domain scheme for tuning closed-loop systems. A linear quadratic criterion is used for guiding the system towards an optimal-regula...
Leonardo C. Kammer, Robert R. Bitmead, Peter L. Ba...
CONCURRENCY
2002
152views more  CONCURRENCY 2002»
15 years 6 months ago
The Legion Grid Portal
-- The Legion Grid Portal is an interface to a grid system. Users interact with the portal, and hence a grid through an intuitive interface from which they can view files, submit a...
Anand Natrajan, Anh Nguyen-Tuong, Marty Humphrey, ...