5465 search results - page 78 / 1093 » Assigning Types to Processes |
TACS
1997
Springer
15 years 2 months ago
1997
Springer
We present a type-based technique for the veri cation of deadlock-freedom in asynchronous concurrent systems. Our general approach is to start with a simple interaction category, i...
BIRTHDAY
2008
Springer
14 years 12 months ago
2008
Springer
We introduce a type system providing a guarantee of client progress for a fragment of CaSPiS, a recently proposed process calculus for serviceoriented applications. The interplay o...
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
A more efficient coding scheme for H.264 by heuristically assign macroblock partition types for video foreground and background coding is proposed. High visual quality of foregro...
ICASSP
2008
IEEE
15 years 4 months ago
2008
IEEE
This paper presents a hierarchical lane detection system with the ability to deal with both structured and unstructured roads. The proposed system classifies the environment first...
LTCONF
2007
Springer
15 years 4 months ago
2007
Springer
Recent work in sentiment analysis has begun to apply fine-grained semantic distinctions between expressions of attitude as features for textual analysis. Such methods, however, r...