3821 search results - page 41 / 765 » A Security Model for Aglets |
146
click to vote
IFIP
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Task-structured probabilistic input/output automata (taskPIOAs) are concurrent probabilistic automata that, among other things, have been used to provide a formal framewo...
CCS
2010
ACM
15 years 3 months ago
2010
ACM
ISI
2006
Springer
15 years 3 months ago
2006
Springer
ISSE
2010
15 years 1 months ago
2010