6031 search results - page 736 / 1207 » Communicating Transaction Processes |
164
click to vote
ISCC
2003
IEEE
16 years 3 days ago
2003
IEEE
WTLS (Wireless Transport Layer Security) is an important standard protocol for secure wireless access to Internet services. WTLS employs public-key cryptosystems during the handsh...
197
click to vote
MEMOCODE
2003
IEEE
16 years 3 days ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
203
click to vote
WSNA
2003
ACM
16 years 2 days ago
2003
ACM
—In a sensor network, data routing is tightly coupled to the needs of a sensing task, and hence the application semantics. This paper introduces the novel idea of information-dir...
228
click to vote
AGENTCL
2003
Springer
16 years 2 days ago
2003
Springer
The goal of this paper is to present a computational framework that enables us to generate elementary speech act sequences in a dialogue between an electronic assistant and a compu...
229
click to vote
ICFEM
2003
Springer
16 years 1 days ago
2003
Springer
Interacting State Machines (ISMs) are used to model reactive systems and to express and verify their properties. They can be seen both as automata exchanging messages simultaneousl...