1916 search results - page 258 / 384 » Reconfiguring a state machine |
VR
2007
IEEE
14 years 3 months ago
2007
IEEE
We present Muddleware, a communication platform designed for mixed reality multi-user games for mobile, lightweight clients. An approach inspired by Tuplespaces, which provides de...
B
2007
Springer
14 years 3 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 ļ...
ECWEB
2007
Springer
14 years 3 months ago
2007
Springer
Service matchmaking is the process of ļ¬nding appropriate services for a given set of requirements. We present a novel service matchmaking approach based on the internal process o...
ICCS
2007
Springer
14 years 3 months ago
2007
Springer
A model of computation (MoC) is a formal abstraction of execution in a computer. There is a need for composing MoCs in e-science. Kepler, which is based on Ptolemy II, is a scienti...
ISOLA
2007
Springer
14 years 3 months ago
2007
Springer
The testing and formal veriļ¬cation of black box software components is a challenging domain. The problem is even harder when speciļ¬cations of these components are not available...