348 search results - page 8 / 70 » Typed Processes in Untyped Contexts |
POPL
2001
ACM
14 years 8 months ago
2001
ACM
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...
EPK
2006
13 years 10 months ago
2006
: The semantics of the OR-join have been discussed for some time, in the context of EPCs, but also in the context of other business process modeling languages like YAWL. In this pa...
ICIP
1999
IEEE
14 years 26 days ago
1999
IEEE
We consider the use of a static context tree for binary image compression. The contexts are stored in the leaves of a variable-depth binary tree. The tree structure itself is full...
LTCONF
2007
Springer
14 years 2 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...
AIR
2006
13 years 8 months ago
2006
In recent years a a number of psycholinguistic experiments have pointed to the interaction between language and vision. In particular, the interaction between visual attention and ...