4305 search results - page 60 / 861 » Analysing Protocol Implementations |
ICRA
2009
IEEE
14 years 3 months ago
2009
IEEE
— We report on a 9-axis inertial measurement unit (IMU) which utilizes 3-axis angular velocity measurements from rate gyros and 6-axis linear acceleration measurements from three...
ECTEL
2007
Springer
14 years 3 months ago
2007
Springer
This paper argues that the key challenges facing HE institutions in 2007 are the same as a decade previously and therefore that lessons may be learned from previous attempts to emp...
COMPSAC
2004
IEEE
14 years 18 days ago
2004
IEEE
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal mode...
ICSOC
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. Aside of day-to-day business in some organizations Enterprise Architecture (EA) seems to be successful while it is not in others that also have notations, models, methods...
ICECCS
1997
IEEE
14 years 1 months ago
1997
IEEE
The paper addresses the problem of client–service interaction in the case of replicated service provision. Existing systems that follow the State Machine approach concentrate on...