Sciweavers

8083 search results - page 1294 / 1617
» A Formalization of Software Architecture
Sort
View
CORR
2010
Springer
109views Education» more  CORR 2010»
15 years 6 months ago
Experimenting with Innate Immunity
libtissue is a software system for implementing and testing AIS algorithms on real-world computer security problems. AIS algorithms are implemented as a collection of cells, antig...
Jamie Twycross, Uwe Aickelin
175
Voted
APIN
2006
142views more  APIN 2006»
15 years 6 months ago
Achieving dynamic, multi-commander, multi-mission planning and execution
The Multi-Agent Distributed Goal Satisfaction (MADGS) system facilitates distributed mission planning and execution in complex dynamic environments with a focus on distributed goal...
Eugene Santos, Scott A. DeLoach, Michael T. Cox
ASE
2006
104views more  ASE 2006»
15 years 6 months ago
On the Systematic Analysis of Natural Language Requirements with C
This paper presents CIRCE, an environment for the analysis of natural language requirements. CIRCE is first presented in terms of its architecture, based on a transformational para...
Vincenzo Ambriola, Vincenzo Gervasi
ESWA
2008
96views more  ESWA 2008»
15 years 6 months ago
samap: An user-oriented adaptive system for planning tourist visits
In this paper, we present samap, whose goal is to build a software tool to help different people visit different cities. This tool integrates modules that dynamically capture user...
Luis A. Castillo, Eva Armengol, Eva Onaindia, Laur...
IEEESP
2008
136views more  IEEESP 2008»
15 years 6 months ago
The Crutial Way of Critical Infrastructure Protection
Today, critical infrastructures like the power grid are essentially physical processes controlled by computers connected by networks. They are usually as vulnerable as any other i...
Alysson Neves Bessani, Paulo Sousa, Miguel Correia...
« Prev « First page 1294 / 1617 Last » Next »