152 search results - page 11 / 31 » Towards a specification of the ToonTalk language |
CCS
2008
ACM
13 years 10 months ago
2008
ACM
The specifications of an application's security configuration are crucial for understanding its security policies, which can be very helpful in security-related contexts such...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
With the growth of interest on the web services, people pay increasingly attention to the choreography, that is, to describe collaborations of participants in accomplishing a comm...
WWW
2006
ACM
14 years 8 months ago
2006
ACM
This work addresses conceptual modeling and automatic code generation for Rich Internet Applications, a variant of Web-based systems bridging the gap between desktop and Web inter...
PST
2008
13 years 9 months ago
2008
In this paper, we propose an approach for systematic security hardening of software based on aspect-oriented programming and Gimple language. We also present the first steps towar...
ICALP
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. We propose a theory of time-bounded verification for realtime systems, in which verification queries are phrased over time intervals of fixed, bounded duration. We argue ...