797 search results - page 49 / 160 » Observing Success in the Pi-Calculus |
CCGRID
2003
IEEE
15 years 3 months ago
2003
IEEE
Agent-oriented software is promising improvements especially for the design of distributed systems. But currently, there is a substantial gap between the massive number of publica...
ICRA
2003
IEEE
15 years 3 months ago
2003
IEEE
― This paper describes a new docking system called Compliant-And-Self-Tightening (CAST) developed as an effective and efficient connector for joining and releasing modules of sel...
HICSS
2002
IEEE
15 years 2 months ago
2002
IEEE
Project teams have become an important element in teaching informatics. Web-based groupware systems are increasingly used in such educational settings. This kind of educational te...
WAIM
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Mining interesting patterns in data streams has attracted special attention recently. This study revealed the principles behind observations, through variation of interve...
FLOPS
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. Subtyping tends to undermine the effects of parametric polymorphism as far as the static detection of type errors is concerned. Starting with this observation we present...