1078 search results - page 156 / 216 » Modelling and Verifying of e-Commerce Systems |
183
click to vote
TCOM
2010
14 years 11 months ago
2010
Abstract--Arbitration and scheduling of multiple tags in stateof-the-art Radio Frequency Identification (RFID) systems is accomplished on the medium access control layer. Currently...
133
click to vote
WDAG
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Optimistic and nonblocking concurrent algorithms are increasingly finding their way into practical use; an important example is software transactional memory implementat...
138
click to vote
HPCC
2007
Springer
15 years 10 months ago
2007
Springer
This paper presents a publish/subscribe based asynchronous remote method invocation framework (PARMI) aiming to improve performance and programming flexibility. PARMI enables high-...
114
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
- This paper describes the development of an Adaptive Non-linear PI Torque Control for electro-rheological fluid (ERF) based variable resistance brakes that are used in compact and...
126
click to vote
IEEESCC
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated ...