102 search results - page 21 / 21 » A formal analysis of the AIF in terms of the ASPIC framework |
CCS
2008
ACM
13 years 6 months ago
2008
ACM
In wireless systems, neighbor discovery (ND) is a fundamental building block: determining which devices are within direct radio communication is an enabler for networking protocol...
CAISE
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...