814 search results - page 119 / 163 » Generic Model Abstraction from Examples |
125
Voted
TACS
2001
Springer
15 years 7 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
120
Voted
COORDINATION
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Service oriented applications feature interactions among several participants over the network. Mechanisms such as correlation sets and two-party sessions have been propo...
138
Voted
CADUI
2006
15 years 4 months ago
2006
Abstract In this paper we describe MultiModal WebRemUsine, a tool for remote usability evaluation of Web sites that considers data regarding the user behaviour coming from multiple...
141
click to vote
DBSEC
2006
15 years 4 months ago
2006
Abstract. Controlled Query Evaluation (CQE) offers a logical framework to prevent a user of a database from inadvertently gaining knowledge he is not allowed to know. By modeling t...
126
Voted
ROOM
2000
15 years 3 months ago
2000
This paper is a proposal for a new two-tier calculus, designed to model aspects of CORBA-like systems at the CORBA evel. The higher object level known as Oompa abstracts away from...