512 search results - page 43 / 103 » Reasoning about Asynchronous Behaviour in Distributed System... |
INFOCOM
1997
IEEE
15 years 1 months ago
1997
IEEE
Analysis of the drafi IEEE 802.11 wireless local area network (WLAN) standard is needed to characterize the expected performance of the standard’s ad hoc and infrastructure netw...
CADE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
EUROPAR
2007
Springer
15 years 3 months ago
2007
Springer
Computer systems are increasingly parallel and heterogeneous, while programs are still largely written in sequential languages. The obvious suggestion that the compiler should auto...
INTERACT
2003
14 years 11 months ago
2003
Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, m...
IADIS
2003
14 years 11 months ago
2003
This paper proposes an investigation of sociotechnical factors affecting the adoption of information technology (IT) by General Practitioners (GPs), for the purposes of the develo...