1511 search results - page 289 / 303 » Relational Parametricity for Computational Effects |
153
click to vote
FC
2010
Springer
15 years 8 months ago
2010
Springer
—This paper discusses public-key authenticated key agreement protocols. First, we critically analyze several authenticated key agreement protocols and uncover various theoretical...
182
click to vote
ECOWS
2008
Springer
15 years 5 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
138
click to vote
SPIESR
2004
15 years 5 months ago
2004
Accurate image segmentation is important for many image, video and computer vision applications. Over the last few decades, many image segmentation methods have been proposed. How...
142
click to vote
MC
2003
15 years 5 months ago
2003
Web systems suffer from an inability to satisfy heterogeneous needs of many users. A remedy for the negative effects of the traditional "one-size-fits-all'' approac...
191
Voted
MLMTA
2003
15 years 5 months ago
2003
Abstract— The prediction of the future states in MultiAgent Systems has been a challenging problem since the begining of MAS. Robotic soccer is a MAS environment in which the pre...