234 search results - page 31 / 47 » Examples of Termination |
FSEN
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. During the last years, timed automata have become a popular model for describing the behaviour of real-time systems. In particular, there has been much research on proble...
CW
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper studies the way to improve consistency of states in a ball-game typed Distributed Virtual Environment (DVE) with lag, in peer-to-peer (P2P) architecture. That is, we ar...
105
click to vote
AMOST
2005
ACM
15 years 5 months ago
2005
ACM
Interaction testing is widely used in screening for faults. In software testing, it provides a natural mechanism for testing systems to be deployed on a variety of hardware and so...
116
click to vote
MIDDLEWARE
2005
Springer
15 years 5 months ago
2005
Springer
Group management service plays a key role in wireless sensor networks (WSNs) as it provides support to high level middleware services such as object tracking, security, fault-tole...
ICCSA
2005
Springer
15 years 5 months ago
2005
Springer
Mobile Phone has been widely used in the world and adopted in different application areas involved with SMS has been evolved for downloading logo, ring-tones, advertisement, secur...