4286 search results - page 507 / 858 » Formalizing Service Interactions |
185
click to vote
EJWCN
2010
14 years 12 months ago
2010
With the increasing popularity of wireless mesh networks (WMNs), the demand for multimedia services encompassing VoIP, multimedia streaming and interactive gaming is increasing rap...
154
click to vote
ROBOCUP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
184
click to vote
EDBT
2002
ACM
16 years 5 months ago
2002
ACM
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
134
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...
172
Voted
TIME
2009
IEEE
15 years 11 months ago
2009
IEEE
—The anonymization of location based queries through the generalization of spatio-temporal information has been proposed as a privacy preserving technique. We show that the prese...