48 search results - page 9 / 10 » fm 2009 |
FM
2009
Springer
13 years 9 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...
ICAI
2009
13 years 3 months ago
2009
- We describe a Web 3.0 interaction system where the mobile user scenario is combined with a touchscreenbased collaborative terminal. Multiple users should be able to easily organi...
FM
2009
Springer
13 years 12 months ago
2009
Springer
This position paper argues that the operational modelling approaches from the formal methods community can be applied fruitfully within the systems biology domain. The results can ...
FM
2009
Springer
13 years 3 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
ICETET
2009
IEEE
13 years 12 months ago
2009
IEEE
This paper deals with the implementation of FM-ZCS-QRC fed DC servo drive using micro controller. The salient feature of QRC is that the switching devices can be either switched o...