Sciweavers

866 search results - page 91 / 174
» A Formal Investigation of
Sort
View
IADIS
2004
13 years 11 months ago
ATEAM - agent mediated team performance model
This paper introduces a study about managing the performance of virtual teams using intelligent agents. Through a review of previous research, the paper starts by contextually sit...
Mauro Nunes, Henrique O'Neill
DLOG
2003
13 years 11 months ago
Applying Description Logic to Product Behavioral Design within Advanced CAD Systems
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
François de Bertrand de Beuvron, Amadou Cou...
FIW
2003
13 years 11 months ago
Representing New Voice Services and Their Features
New voice services are investigated in the fields of Internet telephony (SIP – Session Initiation Protocol) and interactive voice systems (VoiceXML – Voice Extended Markup La...
Kenneth J. Turner
WSC
2004
13 years 11 months ago
Foundations of Validating Reusable Behavioral Models in Engineering Design Problems
We present a conceptual framework for validating reusable behavioral models. The setting for this work is a modern product development environment in which design is performed by ...
Richard J. Malak, Christiaan J. J. Paredis
FIW
1998
104views Communications» more  FIW 1998»
13 years 11 months ago
Validating Architectural Feature Descriptions using LOTOS
The phases of the ANISE project (Architectural Notions In Service Engineering) are briefly explained with reference to the work reported here. An outline strategy is given for tra...
Kenneth J. Turner