3192 search results - page 356 / 639 » A Requirements-Driven Development Methodology |
164
click to vote
ICLP
2005
Springer
16 years 4 days ago
2005
Springer
This paper presents a reactive programming and triggering framework for the coordination of a large number of distributed agents with shared knowledge. At the heart of this framewo...
169
click to vote
ISSAC
2005
Springer
16 years 4 days ago
2005
Springer
This paper presents a duality analysis and an algorithm for computing the multiplicity structure of a zero to a polynomial system, while the zero can be exact or approximate with ...
157
click to vote
ITRUST
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The early adoption of a national, legal digital signature framework in Italy has brought forth a series of problems and vulnerabilities. In this paper we describe each of...
144
click to vote
PAM
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. The development of veracious models of the Internet topology has received a lot of attention in the last few years. Many proposed models are based on topologies derived f...
179
Voted
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
An experimental form of Modulation (Reinterpretation) of the Search Space is presented. This modulation is developed as a mathematical method that can be implemented directly into...