365 search results - page 31 / 73 » Liveness in Timed and Untimed Systems |
METRICS
2005
IEEE
14 years 3 months ago
2005
IEEE
Studying the evolution of long lived processes such as the development history of a software system or the publication history of a research community, requires the analysis of a ...
SIGCSE
2012
ACM
12 years 5 months ago
2012
ACM
The computing landscape is shifting towards mobile devices. To learn about operating systems, it is increasingly important for students to gain hands-on kernel programming experie...
ESOP
2012
Springer
12 years 5 months ago
2012
Springer
Communicating finite state machines (CFSMs) represent processes which communicate by asynchronous exchanges of messages via FIFO channels. Their major impact has been in character...
CDC
2010
IEEE
13 years 4 months ago
2010
IEEE
Circadian rhythms are biological processes found in all living organisms, from plants to insects to mammals that repeat with a period close to, but not exactly, 24 hours. In the ab...
ICDCS
2012
IEEE
12 years 9 days ago
2012
IEEE
—The Web 2.0 era is characterized by the emergence of a very large amount of live content. A real time and finegrained content filtering approach can precisely keep users upto-...