234 search results - page 31 / 47 » Examples of Termination |
149
click to vote
FSEN
2007
Springer
16 years 2 days 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...
156
click to vote
CW
2005
IEEE
15 years 11 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...
168
click to vote
AMOST
2005
ACM
15 years 11 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...
175
click to vote
MIDDLEWARE
2005
Springer
15 years 11 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...
155
click to vote
ICCSA
2005
Springer
15 years 11 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...