419 search results - page 62 / 84 » Interacting State Machines for Mobility |
FDL
2004
IEEE
13 years 11 months ago
2004
IEEE
We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the s...
BCSHCI
2007
2007
Introducing the companions project: intelligent, persistent, personalised interfaces to the internet
13 years 9 months ago
The Companions project is a 4 year, EU funded Framework Programme 6 project involving a consortium of 16 partners across 8 countries. Its aim is to develop a personalised conversa...
DAIS
2010
13 years 9 months ago
2010
Distributed applications are often built from sets of distributed components that must be co-ordinated in order to achieve some global behaviour. The common approach is to use a c...
JUCS
2008
13 years 7 months ago
2008
: A goal of software product lines is the economical assembly of programs in a family of programs. In this paper, we explore how theorems about program properties may be integrated...
JUCS
2008
13 years 7 months ago
2008
: This paper gives a definition of ASM refinement suitable for the verification that a protocol implements atomic transactions. We used this definition as the basis of the formal v...