2482 search results - page 354 / 497 » Characterizing Programming Systems Allowing Program Self-ref... |
ISSTA
2006
ACM
14 years 3 months ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
COMPSAC
2005
IEEE
14 years 3 months ago
2005
IEEE
Parallel changes are a basic fact of modern software development. Where previously we looked at prima facie interference, here we investigate a less direct form that we call seman...
HICSS
2005
IEEE
14 years 3 months ago
2005
IEEE
Data persistency is a fundamental, but complex aspect of a modern software development process. Therefore, in order to reduce development costs and improve a system’s quality, s...
FMCO
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Coordination languages are intended to simplify the development of complex software systems by separating the coordination aspects of an application from its computation ...
IFIP
2004
Springer
14 years 3 months ago
2004
Springer
Cryptographic protocols often make use of nested cryptographic primitives, for example signed message digests, or encrypted signed messages. Gordon and Jeffrey’s prior work on ty...