3995 search results - page 483 / 799 » Model-Driven Design of Distributed Applications |
210
click to vote
CL
2007
Springer
15 years 6 months ago
2007
Springer
The CCS (Calculus of Communicating Systems) process algebra is a well-known formal model of synchronization and communication. It is used for the analysis of safety and liveness i...
158
click to vote
ENTCS
2007
15 years 6 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
172
click to vote
TNN
2008
15 years 6 months ago
2008
Blind inversion of a linear and instantaneous mixture of source signals is a problem often encountered in many signal processing applications. Efficient FastICA (EFICA) offers an ...
178
click to vote
HPCC
2010
Springer
2010
Springer
Implementation and Evaluation of a NAT-Gateway for the General Internet Signaling Transport Protocol
15 years 4 months ago
The IETF's Next Steps in Signaling (NSIS) framework provides an up-to-date signaling protocol suite that can be used to dynamically install, maintain, and manipulate state in ...
192
click to vote
INFOCOM
2010
IEEE
15 years 5 months ago
2010
IEEE
— Random access protocols, such as Aloha, are commonly modeled in wireless ad-hoc networks by using the protocol model. However, it is well-known that the protocol model is not a...