Sciweavers

2131 search results - page 295 / 427
» Multi-Agent System Development: Design, Runtime, and Analysi...
Sort
View
SNPD
2003
13 years 10 months ago
An Industrial Experience in Comparing Manual vs. Automatic Test Cases Generation
We present our experience in automatically deriving a detailed test case plan exclusively using the UML diagrams developed during the analysis and design phases. We consider in pa...
Francesca Basanieri, Pierpaolo Iani, Gaetano Lomba...
ACL
1998
13 years 10 months ago
A Model for Robust Processing of Spontaneous Speech by Integrating Viable Fragments
We describe the design and function of a robust processing component which is being developed for the Verbmobil speech translation system. Its task consists of collecting partial ...
Karsten L. Worm
IPL
2002
86views more  IPL 2002»
13 years 9 months ago
A semantics of sequence diagrams
We develop a formal semantics of sequence diagrams. The semantics is given in terms of our new temporal logic, named HDTL, which is designed to specify dynamically evolving system...
Seung Mo Cho, Hyung-Ho Kim, Sung Deok Cha, Doo-Hwa...
EURODAC
1994
IEEE
120views VHDL» more  EURODAC 1994»
14 years 1 months ago
Generating compilers for generated datapaths
Modern CAD systems allow the designers to come up with powerful programmable datapaths in avery short time. The time to develop compilers for this datapaths is much longer. This p...
Michael Held, Manfred Glesner
ENTCS
2006
112views more  ENTCS 2006»
13 years 9 months ago
A Petri-Net Based Reflective Framework for the Evolution of Dynamic Systems
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
Lorenzo Capra, Walter Cazzola