Sciweavers

1969 search results - page 239 / 394
» Pattern Languages in Interaction Design
Sort
View
ATAL
2007
Springer
16 years 21 days ago
ARTS: agent-oriented robust transactional system
This paper presents the ARTS (Agent-oriented Robust Transactional System) model, which applies transaction concepts to provide agent developers with high-level support for agent s...
Mingzhong Wang, Amy Unruh, Kotagiri Ramamohanarao
CBSE
2007
Springer
16 years 20 days ago
Soya: A Programming Model and Runtime Environment for Component Composition Using SSDL
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
Patric Fornasier, Jim Webber, Ian Gorton
HASKELL
2005
ACM
16 years 2 days ago
Visual haskell: a full-featured haskell development environment
We describe the design and implementation of a full-featured Haskell development environment, based on Microsoft’s extensible Visual Studio environment. Visual Haskell provides ...
Krasimir Angelov, Simon Marlow
PLDI
2012
ACM
13 years 9 months ago
Language-based control and mitigation of timing channels
We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through ...
Danfeng Zhang, Aslan Askarov, Andrew C. Myers
CE
2007
133views more  CE 2007»
15 years 6 months ago
Reusable, lifelike virtual humans for mentoring and role-playing
Lifelike, interactive digital characters, serving as mentors and role-playing actors, have been shown to significantly improve learner motivation and retention. However, the cost...
Edward M. Sims