5465 search results - page 518 / 1093 » Assigning Types to Processes |
187
click to vote
JLP
2002
15 years 7 months ago
2002
State machines consume and process actions complementary to programs issuing actions. State machines maintain a state and reply with a boolean response to each action in their int...
184
click to vote
LISP
2002
15 years 7 months ago
2002
Abstract. Continuations can be used to explain a wide variety of control behaviours, including calling/returning (procedures), raising/handling (exceptions), labelled jumping (goto...
224
click to vote
CDES
2010
15 years 5 months ago
2010
This paper describes the design of a delay-insensitive (DI) Cell Matrix. This architecture allows for massively parallel, self-determined operation and can be used to implement reg...
260
click to vote
TGC
2010
Springer
15 years 5 months ago
2010
Springer
We propose a formal semantics for distributed transactions inspired by the attribute mechanisms of the Java Transaction API. Technically, we model services in a process calculus fe...
192
click to vote
ICDAR
2009
IEEE
15 years 5 months ago
2009
IEEE
Automatic processing of images of steles is a challenging problem due to the variation in their structures and body text characteristics. In this paper, area Voronoi diagram is us...