2148 search results - page 19 / 430 » Responsiveness in Process Calculi |
115
click to vote
CLEIEJ
2006
14 years 11 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
CATA
2004
15 years 1 months ago
2004
This paper describes the instruction execution mechanism of Responsive Multithreaded (RMT) Processor for distributed real-time processing. The execution order of each thread is co...
MFCS
2004
Springer
15 years 5 months ago
2004
Springer
We define BACI (Boxed Ambients with Communication Interfaces), an ambient calculus with a flexible communication policy. Traditionally, typed ambient calculi have a fixed commu...
JIPS
2008
14 years 11 months ago
2008
: This paper describes the design and implementation of a two-tier DBMS for handling massive data and providing faster response time. In the present day, the main requirements of D...
HIM
1997
Springer
15 years 3 months ago
1997
Springer
The application of information retrieval techniques in interactive environments requires systems capable of efficiently processing vague queries. To reach reasonable response tim...