Sciweavers

3435 search results - page 204 / 687
» Aspect Model Unweaving
Sort
View
ICIA
2007
15 years 8 months ago
Why and How to Model Multi-Modal Interaction for a Mobile Robot Companion
Verbal and non-verbal interaction capabilities for robots are often studied isolated from each other in current research trend because they largely contribute to different aspects...
Shuyin Li, Britta Wrede
DAWAK
2008
Springer
15 years 8 months ago
UML-Based Modeling for What-If Analysis
In order to be able to evaluate beforehand the impact of a strategical or tactical move, decision makers need reliable previsional systems. What-if analysis satisfies this need by ...
Matteo Golfarelli, Stefano Rizzi
FASE
2008
Springer
15 years 8 months ago
A Model Checking Approach for Verifying COWS Specifications
We introduce a logical verification framework for checking functional properties of service-oriented applications formally specified using the service specification language COWS. ...
Alessandro Fantechi, Stefania Gnesi, Alessandro La...
ACL
2006
15 years 8 months ago
Models for Sentence Compression: A Comparison across Domains, Training Requirements and Evaluation Measures
Sentence compression is the task of producing a summary at the sentence level. This paper focuses on three aspects of this task which have not received detailed treatment in the l...
James Clarke, Mirella Lapata
IASTEDSEA
2004
15 years 8 months ago
XML-based programming language modeling: An approach to software engineering
Today's software faces escalating technical and business difficulties, yet it continues to be coded in static, inflexible structures that are not prepared for automation and ...
Christian Reichel, Roy Oberhauser