7124 search results - page 1004 / 1425 » Programming Languages and Operating Systems |
136
click to vote
ENTCS
2006
15 years 5 months ago
2006
The three classical process algebras CCS, CSP and ACP present several differences in their respective technical machinery. This is due, not only to the difference in their operato...
165
click to vote
JFP
2010
15 years 3 months ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
183
click to vote
SIGMETRICS
2012
ACM
13 years 7 months ago
2012
ACM
This paper presents a benchmarking suite that measures the performance of using sockets and eXtensible Markup Language remote procedure calls (XML-RPC) to exchange intra-node mess...
158
Voted
IMC
2006
ACM
15 years 11 months ago
2006
ACM
A key step in the semantic analysis of network traffic is to parse the traffic stream according to the high-level protocols it contains. This process transforms raw bytes into s...
133
Voted
EDOC
2003
IEEE
15 years 10 months ago
2003
IEEE
The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely de...