4286 search results - page 604 / 858 » Formalizing Service Interactions |
126
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Two of the most prominent features of ML are its expressive module system and its support for Damas-Milner type inference. However, while the foundations of both these fe...
138
click to vote
CNSR
2006
IEEE
15 years 10 months ago
2006
IEEE
Network protocol performance and evaluation study is often carried out using a couple of widely used simulation toolkits, such as ns-2 and OPNET. These toolkits usually contain ma...
129
click to vote
IUI
2006
ACM
15 years 10 months ago
2006
ACM
Interface personalization can improve a user’s performance and subjective impression of interface quality and responsiveness. Personalization is difficult to implement as it req...
156
click to vote
CASSIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
116
click to vote
IFM
2004
Springer
15 years 10 months ago
2004
Springer
Recent work on combining CSP and B has provided ways of describing systems comprised of components described in both B (to express requirements on state) and CSP (to express intera...