2501 search results - page 56 / 501 » Obligations and Their Interaction with Programs |
ACMSE
2005
ACM
14 years 2 months ago
2005
ACM
The CECA VisLab is currently investigating the educational uses of a GeoWall 3D Stereo Rendering system. Many commercial and non-commercial programs are currently available for ge...
ECIS
2001
13 years 10 months ago
2001
This paper presents a new curriculum for the Internet and e-business that has been developed at University of Redlands in Southern California with first offering in 2000. The pape...
ATAL
2005
Springer
14 years 2 months ago
2005
Springer
This paper reports on the RICA−J multiagent programming framework, which provides executable constructs for each of the organizational, ACL-based modelling abstractions of the R...
CAV
2011
Springer
13 years 10 days ago
2011
Springer
Abstract. We describe a tool that applies theorem proving technology to synthesize code fragments that use given library functions. To determine candidate code fragments, our appro...
ESOP
1999
Springer
14 years 1 months ago
1999
Springer
We define an extension of the π-calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocol...