6031 search results - page 922 / 1207 » Communicating Transaction Processes |
123
Voted
DOCENG
2007
ACM
15 years 8 months ago
2007
ACM
Genre, like layout, is an important factor in effective communication, and automated tools which assist in genre compliance are thus of considerable value. Genres are reusable met...
126
click to vote
MICAI
2000
Springer
15 years 8 months ago
2000
Springer
Unique Fixpoint Induction, UFI, is a chief inference rule to prove the equivalence of recursive processes in CCS [7]. It plays a major role in the equational approach to verificati...
101
click to vote
ISPW
1991
IEEE
15 years 8 months ago
1991
IEEE
product and the project as well as to define synchronization (or interaction) abstractions; activity definitions are used to model the process activities that transform the produ...
204
click to vote
DELOS
2007
15 years 6 months ago
2007
Data Stream Management (DSM) addresses the continuous processing of sensor data. DSM requires the combination of stream operators, which may run on different distributed devices, ...
129
click to vote
DGO
2007
15 years 6 months ago
2007
Although the research domain on social capital and the adoption of Information and Communication Technologies (ICTs) is relatively immature, there is a fast growing body of eviden...