974 search results - page 135 / 195 » Formal Modeling of Communication Traces |
109
click to vote
VISUALIZATION
1994
IEEE
15 years 3 months ago
1994
IEEE
We will try to address the need for a formal foundation for visualization by taking an analytic approach to defining D. Since an arbitrary function D: U V will not produce display...
ICFP
2006
ACM
15 years 11 months ago
2006
ACM
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...
SIGCOMM
2009
ACM
15 years 6 months ago
2009
ACM
Business and economic considerations are driving the extensive use of service differentiation in Virtual Private Networks (VPNs) operated for business enterprises today. The resul...
103
click to vote
ECWEB
2007
Springer
15 years 3 months ago
2007
Springer
A significant number of mobile payment systems have been proposed in recent years, most of them based on a scenario where all the entities are directly connected one to another (fo...
109
click to vote
ENTCS
2007
14 years 11 months ago
2007
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchro...