705 search results - page 68 / 141 » Designing a Common Communication Subsystem |
96
Voted
TACAS
2000
Springer
15 years 3 months ago
2000
Springer
Abstract. The Prosper (Proof and Specification Assisted Design Environments) project advocates the use of toolkits which allow existing verification tools to be adapted to a more f...
114
click to vote
ACMDIS
2008
ACM
15 years 1 months ago
2008
ACM
Distributed teams are increasingly common in today's workplace. For these teams, face-to-face meetings where members can most easily build trust are rare and often cost-prohi...
CSCW
2002
ACM
14 years 11 months ago
2002
ACM
Technology can play an important role in enabling people to interact with each other. The Web is one such technology with the affordances for sharing information and for connectin...
IEEEHPCS
2010
14 years 10 months ago
2010
This work presents the design and implementation of a massively parallel 3-SAT solver, specifically targeting random problem instances. Our approach is deterministic and features ...
OTM
2007
Springer
15 years 5 months ago
2007
Springer
Software patterns have evolved into a commonly used means to design and implement software systems. Programming patterns, architecture and design patterns have been quite successfu...