61 search results - page 10 / 13 » Automatic Validation of Protocol Narration |
117
Voted
INFOCOM
2006
IEEE
15 years 9 months ago
2006
IEEE
— Sensing events from dynamic environments are normally asynchronous and non-repeatable. This lack of repeatability makes it particularly difficult to statistically evaluate the...
207
click to vote
LICS
2003
IEEE
15 years 8 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
119
click to vote
ACMICEC
2003
ACM
15 years 8 months ago
2003
ACM
The Platform for Privacy Preferences (P3P) provides a standard computer-readable format for privacy policies and a protocol that enables web browsers to read and process these pol...
149
click to vote
IPSN
2010
Springer
15 years 5 months ago
2010
Springer
Photo tourism [11] is a platform that allows users to transform unstructured online digital photos into a 3D experience. Nowadays, image sensors are being extensively used to allo...
165
click to vote
IM
2003
15 years 4 months ago
2003
: Internet Management is based on IETF specifications that have been developed and used during the past 14 years: There are multiple versions and options of the management protoco...