8928 search results - page 172 / 1786 » Modeling Current Events |
123
click to vote
CORR
2009
Springer
15 years 1 months ago
2009
Springer
Transactional events (TE) are an extension of Concurrent ML (CML), a programming model for synchronous message-passing. Prior work has focused on TE's formal semantics and it...
128
click to vote
ENTCS
2006
15 years 3 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
124
click to vote
WCRE
2007
IEEE
15 years 9 months ago
2007
IEEE
Legacy applications can be difficult and time-consuming to understand and update due to the lack of modern abstraction mechanisms in legacy languages, as well as the gradual dete...
113
click to vote
B
2007
Springer
15 years 9 months ago
2007
Springer
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ...
133
click to vote
ICASSP
2011
IEEE
14 years 7 months ago
2011
IEEE
This paper introduces a discriminative extension to whole-word point process modeling techniques. Meant to circumvent the strong independence assumptions of their generative prede...