1926 search results - page 231 / 386 » From P to MP Systems |
159
click to vote
OSDI
2004
ACM
16 years 6 months ago
2004
ACM
Operator mistakes are a significant source of unavailability in modern Internet services. In this paper, we first characterize these mistakes by performing an extensive set of exp...
170
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
Fueled by the omnipresence of event logs in transactional information systems (cf. WFM, ERP, CRM, SCM, and B2B systems), process mining has become a vivid research area. Until rece...
171
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
182
click to vote
HRI
2007
ACM
15 years 10 months ago
2007
ACM
This paper describes a robotic system that uses dance as a form of social interaction to explore the properties and importance of rhythmic movement in general social interaction. ...
198
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—With rising concerns on user privacy over the Internet, anonymous communication systems that hide the identity of a participant from its partner or third parties are hig...