5615 search results - page 725 / 1123 » Active Learner Modelling |
182
click to vote
COORDINATION
2007
Springer
16 years 1 months ago
2007
Springer
Connectors have emerged as a powerful concept for composition and coordination of concurrent activities encapsulated as components and services. Compositional coordination models a...
187
click to vote
GECCO
2007
Springer
16 years 29 days ago
2007
Springer
The modeling and analysis of large networks of autonomous agents is an important topic with applications in many different disciplines. One way of modeling the development of such...
180
click to vote
ICCS
2007
Springer
16 years 29 days ago
2007
Springer
The Louisiana Coastal Area presents an array of rich and urgent scientific problems that require new computational approaches. These problems are interconnected with common compon...
201
Voted
CSFW
2006
IEEE
16 years 26 days ago
2006
IEEE
We describe a faithful embedding of the Dolev-Yao model of Backes, Pfitzmann, and Waidner (CCS 2003) in the theorem prover Isabelle/HOL. This model is cryptographically sound in ...
148
click to vote
AICCSA
2005
IEEE
16 years 13 days ago
2005
IEEE
A critical issue in multicast communication is how to identify multicast groups. In the Internet, multicast addresses and port numbers distinguish multicast groups from each other...