11653 search results - page 2144 / 2331 » The Development of the C Language |
123
Voted
SIGADA
2005
Springer
15 years 9 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
145
click to vote
ISSTA
2004
ACM
15 years 9 months ago
2004
ACM
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
134
click to vote
PDC
2004
ACM
15 years 9 months ago
2004
ACM
In recent years both companies and research communities call for collaborative work practices and user-centered approaches in various design fields. There are several challenges a...
131
Voted
CP
2004
Springer
15 years 9 months ago
2004
Springer
In real-life temporal scenarios, uncertainty and preferences are often essential, coexisting aspects. We present a formalism where temporal constraints with both preferences and un...
160
Voted
GECCO
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. The need for effective testing techniques for architectural level descriptions is widely recognised. However, due to the variety of domain-specific architectural descript...