Sciweavers

917 search results - page 67 / 184
» Structural Testing of Component-Based Systems
Sort
View
COMAD
2008
13 years 10 months ago
Kshitij: A Search and Page Recommendation System for Wikipedia
Semantic information helps in identifying the context of a document. It will be interesting to find out how effectively this information can be used in recommending related docume...
Phanikumar Bhamidipati, Kamalakar Karlapalem
AOSE
2007
Springer
14 years 3 months ago
Tool-Supported Development with Tropos: The Conference Management System Case Study
Abstract. The agent-oriented software engineering methodology Tropos offers a structured development process and supporting tools for developing complex, distributed systems. The ...
Mirko Morandini, Duy Cu Nguyen, Anna Perini, Alber...
ESOP
2006
Springer
14 years 17 days ago
Types for Dynamic Reconfiguration
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
João Costa Seco, Luís Caires
EH
2002
IEEE
129views Hardware» more  EH 2002»
14 years 1 months ago
The BioWall: An Electronic Tissue for Prototyping Bio-Inspired Systems
In this article, we present the BioWall, a giant reconfigurable computing tissue developed to implement machines according to the principles of our Embryonics (embryonic electroni...
Gianluca Tempesti, Daniel Mange, André Stau...
HICSS
1995
IEEE
93views Biometrics» more  HICSS 1995»
14 years 13 days ago
Generating optimization-based decision support systems
This paper discusses the implementation of optimizaiion based DSSs. A n approach is proposed that will enable OR/MS analysts to develop this kind of system much more eociently tha...
Arthur Geoffrion, Sergio Maturana