Sciweavers

4919 search results - page 785 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
159
Voted
AOSE
2001
Springer
15 years 8 months ago
UML Class Diagrams Revisited in the Context of Agent-Based Systems
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts ...
Bernhard Bauer
CHI
1993
ACM
15 years 7 months ago
A design space for multimodal systems: concurrent processing and data fusion
Multimodal interaction enables the user to employ different modalities such as voice, gesture and typing for communicating with a computer. This paper presents an analysis of the ...
Laurence Nigay, Joëlle Coutaz
114
Voted
BPM
2006
Springer
117views Business» more  BPM 2006»
15 years 7 months ago
Web Service E-Contract Establishment Using Features
Electronic contracts describe inter-organizational business processes in terms of supply and consumption of electronic services (commonly Web services). In a given contract domain,...
Marcelo Fantinato, Itana Maria de Souza Gimenes, M...
155
Voted
IJAOSE
2008
120views more  IJAOSE 2008»
15 years 3 months ago
An architecture for exception management in multiagent systems
: Multiagent Systems (MAS) are open, heterogeneous and distributed software systems of autonomous agents. The management of exception differs in MAS from what is known in usual eng...
Eric Platon, Nicolas Sabouret, Shinichi Honiden
115
Voted
COMPSEC
2010
142views more  COMPSEC 2010»
15 years 9 days ago
Provably correct Java implementations of Spi Calculus security protocols specifications
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...
Alfredo Pironti, Riccardo Sisto