13489 search results - page 638 / 2698 » Operating System |
169
click to vote
IJFCS
2007
15 years 7 months ago
2007
In this technical report, we present a process algebra aimed at modelling PKI-based systems. The new language, SPIKY, extends the spi-calculus by adding primitives for the retriev...
172
click to vote
TCOM
2008
15 years 7 months ago
2008
In this paper, we derive closed form upper bounds on the error probability of low-density parity-check (LDPC) coded modulation schemes operating on quasi-static fading channels. Th...
159
click to vote
AROBOTS
2002
15 years 7 months ago
2002
Automation of agricultural harvesting equipment in the near term appears both economically viable and technically feasible. This paper describes the Demeter system for automated h...
205
click to vote
FIW
2009
15 years 4 months ago
2009
Abstract. This paper presents an online detection and resolution method for feature interactions among integrated services in home network systems. To achieve reasonable online det...
270
click to vote
AUTOMATICA
2011
15 years 2 months ago
2011
— Quadratic systems play an important role in the modeling of a wide class of nonlinear processes (electrical, robotic, biological, etc.). For such systems it is of mandatory imp...