240 search results - page 43 / 48 » A Typed Calculus of Synchronous Processes |
MANSCI
2007
13 years 9 months ago
2007
In this paper, a market-based decomposition method for decomposable linear systems is developed. The solution process iterates between a master problem that solves the market-matc...
ICASSP
2011
IEEE
13 years 26 days ago
2011
IEEE
—Networks of biological agents (for example, ants, bees, fish, birds) and complex man-made cyberphysical infrastructures (for example, the power grid, transportation networks) e...
ECOOP
2010
Springer
14 years 1 months ago
2010
Springer
We reduce JavaScript to a core calculus structured as a small-step operational semantics. We present several peculiarities of the language and show that our calculus models them. W...
ICDE
2008
IEEE
14 years 10 months ago
2008
IEEE
- The embedding of positioning capabilities in mobile devices and the emergence of location-based applications have created novel opportunities for utilizing several types of multi...
WIKIS
2006
ACM
14 years 3 months ago
2006
ACM
A survey of 168 corporate wiki users was conducted. Findings indicate that corporate wikis appear to be sustainable. Users stated three main types of benefits from corporate wikis...