5407 search results - page 982 / 1082 » The Software Engineering Global Model |
142
Voted
EMSOFT
2007
Springer
15 years 9 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
121
click to vote
IOLTS
2006
IEEE
15 years 9 months ago
2006
IEEE
— Delay failures are becoming a dominant failure mechanism in nanometer technologies. Diagnosis of such failures is important to ensure yield and robustness of the design. Howeve...
98
Voted
ISSTA
2006
ACM
15 years 9 months ago
2006
ACM
A noise maker is a tool that seeds a concurrent program with conditional synchronization primitives (such as yield()) for the purpose of increasing the likelihood that a bug manif...
156
Voted
SAC
2006
ACM
15 years 9 months ago
2006
ACM
The Coalition Peering Domain (CPD) is a recent innovation within the field of mesh networking. It facilitates the management of community-area networks in a distributed and scala...
131
Voted
UIST
2006
ACM
15 years 9 months ago
2006
ACM
We describe a system, implemented as a browser extension, that enables users to quickly and easily collect, view, and share personal Web content. Our system employs a novel intera...