Sciweavers

1121 search results - page 80 / 225
» Model and Formalism Driven Development of Collaborative Appl...
Sort
View
HCI
2009
14 years 11 months ago
EmoHeart: Automation of Expressive Communication of Emotions in Second Life
In this paper, we describe lexical rule-based approach to affect sensing from text, and application of the developed Affect Analysis Model in 3D virtual world Second Life. To enric...
Alena Neviarouskaya, Helmut Prendinger, Mitsuru Is...
ICIW
2007
IEEE
15 years 8 months ago
Web Service Composition Approaches: From Industrial Standards to Formal Methods
Abstract— Composition of web services is much studied to support business-to-business and enterprise application integration in e-Commerce. Current web service composition approa...
Maurice H. ter Beek, Antonio Bucchiarone, Stefania...
IFM
2010
Springer
152views Formal Methods» more  IFM 2010»
14 years 11 months ago
Specification and Verification of Model Transformations Using UML-RSDS
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
Kevin Lano, Shekoufeh Kolahdouz Rahimi
121
Voted
ICSEA
2009
IEEE
15 years 8 months ago
Ontology Driven E-Government
: This paper presents an approach to model ontologies for the e-Government domain as a basis for an integrated e-Government environment. Over the last couple of years the applicati...
Peter Salhofer, Bernd Stadlhofer, Gerald Tretter
WWW
2003
ACM
16 years 2 months ago
Service Chart Diagrams - Description & Application
This paper presents an approach for the design and development of service-driven applications. These applications rely on the collaboration of multiple services that businesses of...
Zakaria Maamar, Boualem Benatallah, Wathiq Mansoor