716 search results - page 7 / 144 » Rule Formats for Timed Processes |
FORMATS
2003
Springer
14 years 22 days ago
2003
Springer
In this paper, we introduce a dense time process algebraic formalism with support for specification of (shared) resource requirements and resource schedulers. The goal of this app...
ICRA
2005
IEEE
14 years 1 months ago
2005
IEEE
— This paper studies the effects of the geometry of a mobile robot formation on the accuracy of the robots’ localization. The general case of heterogeneous (in terms of sensor ...
WWW
2010
ACM
14 years 2 months ago
2010
ACM
In modern Web applications, style formatting and layout calculation often account for a substantial amount of local Web page processing time. In this paper1 , we present two novel...
JUCS
2006
13 years 7 months ago
2006
: The need for processing biological information is rapidly growing, owing to the masses of new information in digital form being produced at this time. Old methodologies for proce...
KBSE
1997
IEEE
13 years 11 months ago
1997
IEEE
Legacy software systems present a high level of entropy combined with imprecise documentation. This makes their maintenance more difficult, more time consuming, and costlier. In o...