884 search results - page 112 / 177 » Temporal Templates and Analysis of Time Related Data |
145
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Virtual communities are a popular phenomenon today. They are significantly altering the specifics of how people work, spend their free time and interact socially. Moreover, they h...
182
click to vote
VMCAI
2009
Springer
16 years 1 months ago
2009
Springer
Given a 3-valued abstraction of a program (possibly generated using rogram analysis and predicate abstraction) and a temporal logic formula, generalized model checking (GMC) checks...
150
click to vote
SIGMETRICS
1997
ACM
15 years 10 months ago
1997
ACM
Informed prefetching and caching based on application disclosure of future I/O accesses (hints) can dramatically reduce the execution time of I/O-intensive applications. A recent ...
178
click to vote
AINTEC
2005
Springer
15 years 12 months ago
2005
Springer
Packet loss patterns over unidirectional satellite link provide useful information for improving the performance of applications like bulk data transfer to many recipients. In this...
155
click to vote
IEEESP
2011
14 years 9 months ago
2011
Botnets, networks of malware-infected machines that are controlled by an adversary, are the root cause of a large number of security problems on the Internet. A particularly sophi...