2642 search results - page 130 / 529 » Merge-by-Wire: Algorithms and System Support |
122
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Statecharts and Petri nets are two popular visual formalisms for modelling complex systems that exhibit concurrency. Both formalisms are supported by various design tools. To enabl...
151
click to vote
DC
2008
15 years 4 months ago
2008
We study the feasibility and cost of implementing --a fundamental failure detector at the core of many algorithms--in systems with weak reliability and synchrony assumptions. Intui...
113
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
User authentication, which refers to the process of verifying the identity of a user, is becoming an important security requirement in various embedded systems. While conventional...
143
click to vote
INFOCOM
2007
IEEE
15 years 10 months ago
2007
IEEE
Abstract— The Internet connectivity in the Autonomous System (AS) level reflects the commercial relationship between ASes. A connection between two ASes could be of type custome...
116
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Computer Supported Cooperative Work (CSCW) defines software tools and technology to support groups of people working together on a project, often at different sites [5]. In this wo...