3868 search results - page 29 / 774 » Open Systems in TLA |
SAPIR
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. As computer networks grow in size, both physically and geographically, more scalable solutions to network administration are becoming necessary. This need is amplified by...
122
Voted
ENTCS
2008
15 years 1 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...
113
Voted
PERCOM
2006
ACM
16 years 1 months ago
2006
ACM
This paper presents Cantag, an open source software toolkit for building Marker-based Vision (MBV) systems that can identify and accurately locate printed markers in three dimensi...
128
click to vote
ESEM
2009
ACM
15 years 8 months ago
2009
ACM
Code smells are design flaws in object-oriented designs that may lead to maintainability issues in the further evolution of the software system. This study focuses on the evolutio...
122
click to vote
TGC
2007
Springer
15 years 7 months ago
2007
Springer
In computing systems, trust is an expectation on the dynamic behavior of an agent; static analysis is a collection of techniques for establishing static bounds on the dynamic behav...