5407 search results - page 982 / 1082 » The Software Engineering Global Model |
180
click to vote
EMSOFT
2007
Springer
16 years 15 days 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...
156
click to vote
IOLTS
2006
IEEE
16 years 11 days 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...
130
click to vote
ISSTA
2006
ACM
16 years 9 days 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...
206
click to vote
SAC
2006
ACM
16 years 9 days 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...
167
click to vote
UIST
2006
ACM
16 years 8 days 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...