2501 search results - page 24 / 501 » Obligations and Their Interaction with Programs |
CASSIS
2005
Springer
15 years 3 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
15 years 2 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
14 years 11 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...
164
click to vote
POPL
2006
ACM
15 years 10 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
14 years 9 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...