180 search results - page 2 / 36 » Typing Local Control and State Using Flow Analysis |
ATVA
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...
ECOWS
2009
Springer
13 years 9 months ago
2009
Springer
The Windows Workflow Foundation (WF) has been introduced as part of the .NET framework as a means of creating workflow-centric applications. Its intended field of application is br...
ESCIENCE
2007
IEEE
13 years 9 months ago
2007
IEEE
Scientific workflows have recently emerged as a new paradigm for representing and managing complex distributed scientific computations and data analysis, and have enabled and acce...
CDC
2010
IEEE
13 years 6 days ago
2010
IEEE
This paper presents an inertial navigation filter designed for an automotive vehicle not equipped with any GPS receiver. The task of this filter is to provide relative position inf...
ENTCS
2010
13 years 1 days ago
2010
This is a study of a technique for deriving the session type of a program written in a statically typed imperative language from its control flow. We impose on our unlabelled sess...