1777 search results - page 268 / 356 » Programming Cryptographic Protocols |
ATVA
2009
Springer
14 years 3 months ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
VL
2003
IEEE
14 years 2 months ago
2003
IEEE
Web services are increasingly attracting attention for their ability to provide standard interfaces to heterogeneous distributed services. Through these standard interfaces, it is...
ERLANG
2003
ACM
14 years 2 months ago
2003
ACM
We present an implemented technique for generating test cases from state machine specifications. The work is motivated by a need for testing of protocols and services developed b...
AGENTS
1998
Springer
14 years 1 months ago
1998
Springer
Mobile agents are programs that can migrate from machine to machine in a heterogeneous, partially disconnected network. As mobile agents move across a network, they consume resour...
IH
1998
Springer
14 years 1 months ago
1998
Springer
Software piracy is a major economic problem: it leads to revenue losses, it favors big software houses that are less hurt by these losses and it prevents new software economy model...