20126 search results - page 3727 / 4026 » Timed Transition Systems |
156
click to vote
PODC
2012
ACM
13 years 7 months ago
2012
ACM
Failure detectors — oracles that provide information about process crashes — are an important ion for crash tolerance in distributed systems. Although current failure-detector...
133
click to vote
ACL
2012
13 years 7 months ago
2012
We present IlluMe, a software tool pack which creates a personalized ambient using the music and lighting. IlluMe includes an emotion analysis software, the small space ambient li...
205
click to vote
ICFP
2012
ACM
13 years 7 months ago
2012
ACM
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
202
click to vote
ICSE
2012
IEEE-ACM
13 years 7 months ago
2012
IEEE-ACM
Abstract—Software testing is an expensive and time consuming process, often involving the manual creation of comprehensive regression test suites. However, current testing method...
167
Voted
WWW
2003
ACM
16 years 6 months ago
2003
ACM
Crawling the web is deceptively simple: the basic algorithm is (a) Fetch a page (b) Parse it to extract all linked URLs (c) For all the URLs not seen before, repeat (a)?(c). Howev...