Sciweavers

15777 search results - page 2424 / 3156
» Software Engineering
Sort
View
AMAI
2004
Springer
15 years 7 months ago
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Prototyping is a valuable technique to help software engineers explore the design space while gaining insight on the dynamics of the system. In this paper, we describe a method for...
Wamberto Weber Vasconcelos, David Stuart Robertson...
219
Voted
FM
2003
Springer
115views Formal Methods» more  FM 2003»
16 years 15 days ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
170
Voted
SEKE
2004
Springer
16 years 19 days ago
Supporting the Requirements Prioritization Process. A Machine Learning approach
Requirements prioritization plays a key role in the requirements engineering process, in particular with respect to critical tasks such as requirements negotiation and software re...
Paolo Avesani, Cinzia Bazzanella, Anna Perini, Ang...
187
Voted
ISCAS
2006
IEEE
131views Hardware» more  ISCAS 2006»
16 years 1 months ago
Static generator model for analog power flow computation
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
Aaron St. Leger, Chika O. Nwankpa
WWW
2007
ACM
16 years 8 months ago
Electoral search using the VerkiezingsKijker: an experience report
The Netherlands had parliamentary elections on November 22, 2006. We built a system which helped voters to make an informed choice among the many participating parties. One of the...
Valentin Jijkoun, Maarten Marx, Maarten de Rijke, ...
« Prev « First page 2424 / 3156 Last » Next »