4286 search results - page 80 / 858 » Formalizing Service Interactions |
123
Voted
CANS
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Anonymous credentials are widely used to certify properties of a credential owner or to support the owner to demand valuable services, while hiding the user’s identity ...
116
Voted
ELPUB
2003
ACM
15 years 7 months ago
2003
ACM
Based on our field and desk-research , this paper will discuss the current situation of mobile telephones in relation to electronic publishing—a convergence that remains yet to ...
177
Voted
IRI
2009
IEEE
15 years 9 months ago
2009
IEEE
We propose an open and extensible agent-based formal framework for modeling and simulating supply chains. Since structures and behaviors of supply chains can be very different bas...
154
Voted
ICWS
2007
IEEE
15 years 4 months ago
2007
IEEE
Security enforcement framework is an important aspect of any distributed system. With new requirements imposed by SOA-based business models, adaptive security enforcement on the a...
121
Voted
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Formal languages are increasingly used to describe the functional requirements (specifications) of circuits. These requirements are used as a means to communicate design intent an...