1631 search results - page 59 / 327 » Extreme Programming - Back to Basics |
165
Voted
CADE
2008
Springer
16 years 2 months ago
2008
Springer
Many safety- and security-critical systems are real-time systems and, as a result, tools and techniques for verifying real-time systems are extremely important. Simulation and test...
111
click to vote
PLDI
2000
ACM
15 years 7 months ago
2000
ACM
This paper describes the implementation of a purely functional programming language for building software systems. In this language, external tools like compilers and linkers are ...
191
click to vote
AMINING
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. MUSASHI is a set of commands which enables us to efficiently execute various types of data manipulations in a flexible manner, mainly aiming at data processing of huge a...
186
Voted
USITS
2003
15 years 3 months ago
2003
As Internet services become more popular and pervasive, a critical problem that arises is managing the performance of services under extreme overload. This paper presents a set of...
119
click to vote
EOR
2006
15 years 2 months ago
2006
: This paper addresses the problem of computing minimum risk paths by taking as objective the expected accident cost. The computation is based on a dynamic programming formulation ...