Sciweavers

3938 search results - page 41 / 788
» Interactive Protocols on the Reals
Sort
View
IJVR
2006
199views more  IJVR 2006»
13 years 11 months ago
Interactive Virtual Humans in Real-Time Virtual Environments
In this paper, we will present an overview of existing research in the vast area of IVH systems. We will also present our ongoing work on improving the expressive capabilities of I...
Nadia Magnenat-Thalmann, Arjan Egges
DSN
2006
IEEE
14 years 5 months ago
VoIP Intrusion Detection Through Interacting Protocol State Machines
Being a fast-growing Internet application, Voice over Internet Protocol (VoIP) shares the network resources with the regular Internet traffic, and is susceptible to the existing ...
Hemant Sengar, Duminda Wijesekera, Haining Wang, S...
ATAL
2004
Springer
14 years 4 months ago
A Scalable Petri Net Representation of Interaction Protocols for Overhearing
In open distributed multi-agent systems, agents often coordinate using standardized agent communications. Thus, representing agent conversations is an important aspect of multi-age...
Gery Gutnik, Gal A. Kaminka
CALCO
2007
Springer
89views Mathematics» more  CALCO 2007»
14 years 5 months ago
Structured Co-spans: An Algebra of Interaction Protocols
Abstract. We extend the theory of (co-)spans as a means of providing an algebraic approach to complex interactions as they arise in software-intensive systems. In order to make int...
José Luiz Fiadeiro, Vincent Schmitt
EPEW
2005
Springer
14 years 4 months ago
Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step
Abstract. Global choreographies define the rules that peers should respect in their interaction, with the aim of guaranteeing interoperability. act choreography can be seen as a p...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...