1147 search results - page 121 / 230 » Termination in language-based systems |
86
Voted
APBC
2004
15 years 2 months ago
2004
This article describes a dispensation order generation algorithm for genotyping using the Pyrosequencing method. The input template of the algorithm is a slightly restricted regul...
105
Voted
MASCOTS
2004
15 years 2 months ago
2004
In this paper, a modified version of the IEEE 802.11a protocol is proposed and evaluated. We combine MultiCarrier Code Division Multiple Access (MC-CDMA), a novel, high capacity m...
88
Voted
FAC
2006
15 years 23 days ago
2006
In modular approaches to specify concurrent systems a system is built up from components using various operators as e.g. the sequential, the parallel, or the choice (+) operator. U...
116
click to vote
CONCURRENCY
1998
15 years 13 days ago
1998
Universal Personal Computing (UPC) supports nomadic computing on the Internet by allowing mobile users to access their personalized computing resources anywhere on the Internet us...
105
Voted
CDC
2009
IEEE
14 years 10 months ago
2009
IEEE
Abstract-- We consider a variation of the classical MarkovDubins problem dealing with curvature-constrained, shortest paths in the plane with prescribed initial and terminal positi...