2501 search results - page 24 / 501 » Obligations and Their Interaction with Programs |
CASSIS
2005
Springer
14 years 2 months ago
2005
Springer
This paper introduces notions of resource policy for mobile code to be run on smart devices, to integrate with the proof-carrying code architecture of the Mobile Resource Guarantee...
GW
2003
Springer
14 years 1 months ago
2003
Springer
Large–display environments like Reality Center or Powerwall are recent equipments used in the Virtual Reality (VR) field. In contrast to HMDs or similar displays, they allow sev...
APCCM
2006
13 years 10 months ago
2006
Current enterprise systems rely heavily on the modelling and enactment of business processes. One of the key criteria for a business process is to represent not just the behaviour...
POPL
2006
ACM
14 years 9 months ago
2006
ACM
We exhibit the rationale behind the design of Epigram, a dependently typed programming language and interactive program development system, using refinements of a well known progr...
ENTCS
2008
13 years 8 months ago
2008
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...