2741 search results - page 310 / 549 » Designing Law-Compliant Software Requirements |
168
click to vote
ASWEC
2006
IEEE
16 years 22 days ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
205
click to vote
EUROMICRO
2006
IEEE
16 years 22 days ago
2006
IEEE
Understanding complex component-based systems often requires getting insight in how certain system properties, such as performance, trust, reliability, or structural attributes, c...
165
click to vote
SCAM
2006
IEEE
16 years 20 days ago
2006
IEEE
Refactoring is about changing the design of existing code without changing its behaviour, but with the aim of making code easier to understand, modify, or reuse. Taking Haskell an...
168
click to vote
WECWIS
2006
IEEE
16 years 20 days ago
2006
IEEE
Distributed event-based middleware (DEBM) provides a basis for the interoperation of autonomous components in large-scale systems. Transactions ensure the atomic and reliable exec...
177
click to vote
DELTA
2010
IEEE
15 years 11 months ago
2010
IEEE
High level hardware description languages aim to make hardware design more like programming software. These languages are often used to accelerate legacy software algorithms by ...