3868 search results - page 322 / 774 » Open Systems in TLA |
157
click to vote
CONCUR
2007
Springer
16 years 1 months ago
2007
Springer
It is well known that bisimulation on µ-expressions cannot be finitely axiomatised in equational logic. Complete axiomatisations such as those of Milner and Bloom/´Esik necessar...
187
click to vote
ICPP
2005
IEEE
16 years 1 months ago
2005
IEEE
SGI recently introduced the Altix 3700. In contrast to previous SGI systems, the Altix uses a modified version of the open source Linux operating system and the latest Intel IA-64...
179
Voted
ICSM
2005
IEEE
16 years 1 months ago
2005
IEEE
To remain competitive in the fast paced world of software development, managers must optimize the usage of their limited resources to deliver quality products on time and within b...
199
Voted
ATAL
2006
Springer
15 years 11 months ago
2006
Springer
Communication in open heterogeneous multi agent systems is hampered by lack of shared ontologies. To overcome these problems, we propose a layered communication protocol which inc...
225
Voted
AVSS
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents the Visor (VIdeo Surveillance Online Repository) project designed with the aim of establishing an open platform for collecting, annotating, retrieving, sharing...