272 search results - page 46 / 55 » Exploring the acceptability envelope |
SEFM
2006
IEEE
15 years 3 months ago
2006
IEEE
We define a model of labelled product systems of automata and explore its connections with process calculi and trace languages. Bisimilarity of labelled product systems is defin...
HPDC
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper describes the design and implementation of SWORD, a scalable resource discovery service for widearea distributed systems. In contrast to previous systems, SWORD allows ...
SIGMETRICS
2005
ACM
15 years 3 months ago
2005
ACM
Network service providers and customers are often concerned with aggregate performance measures that span multiple network paths. Unfortunately, forming such network-wide measures ...
83
Voted
AIED
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes an approach for analysis of computer-supported learning processes utilizing logfiles of learners’ actions. We provide help to researchers and teachers in ...
CEEMAS
2005
Springer
15 years 3 months ago
2005
Springer
A honeybee colony has to choose among several nectar sources in the environment, each fluctuating in quality over time. Successful forager bees return to the hive and perform dance...