2148 search results - page 90 / 430 » Responsiveness in Process Calculi |
183
click to vote
NEUROSCIENCE
2001
Springer
15 years 8 months ago
2001
Springer
Contours and surfaces are basic qualities which are processed by the visual system to aid the successful behavior of autonomous beings within the environment. There is increasing e...
133
click to vote
SIGMETRICS
2005
ACM
15 years 9 months ago
2005
ACM
We define the class of SMART scheduling policies. These are policies that bias towards jobs with small remaining service times, jobs with small original sizes, or both, with the ...
166
click to vote
AOSD
2010
ACM
15 years 11 months ago
2010
ACM
Over the last five years, several systems have been proposed to take distribution into account in Aspect-Oriented Programming. While they appeared to be fruitful to develop or im...
133
click to vote
IFIP
2004
Springer
15 years 9 months ago
2004
Springer
Previous type systems for mobility calculi (the original Mobile Ambients, its variants and descendants, e.g., Boxed Ambients and Safe Ambients, and other related systems) offer lit...
156
Voted
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...