Sciweavers

3555 search results - page 534 / 711
» Security-Critical System Development with Extended Use Cases
Sort
View
FORTE
1997
15 years 5 months ago
A Framework for Distributed Object-Oriented Testing
Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provide...
Alan C. Y. Wong, Samuel T. Chanson, Shing-Chi Cheu...
TREC
2000
15 years 5 months ago
Goal-Driven Answer Extraction
We describe the structure and functioning of an answer-extraction system built from the ground up, in only three person-months, using shallow text-processing techniques. Underlyin...
Michael Laszlo, Leila Kosseim, Guy Lapalme
FGCS
2008
148views more  FGCS 2008»
15 years 4 months ago
Grid-enabling data mining applications with DataMiningGrid: An architectural perspective
The DataMiningGrid system has been designed to meet the requirements of modern and distributed data mining scenarios. Based on the Globus Toolkit and other open technology and sta...
Vlado Stankovski, Martin T. Swain, Valentin Kravts...
JOT
2007
169views more  JOT 2007»
15 years 4 months ago
Translating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols s...
Farid Mokhati, Noura Boudiaf, Mourad Badri, Linda ...
HYBRID
2005
Springer
15 years 9 months ago
Mode-Automata Based Methodology for Scade
In this paper, we present a new design methodology for synchronous reactive systems, based on a clear separation between control and data flow parts. This methodology allows to fa...
Ouassila Labbani, Jean-Luc Dekeyser, Pierre Boulet