Sciweavers

2004 search results - page 48 / 401
» Interaction nets: programming language design and implementa...
Sort
View
POPL
2007
ACM
14 years 9 months ago
A concurrent constraint handling rules implementation in Haskell with software transactional memory
Constraint Handling Rules (CHR) is a concurrent committedchoice constraint logic programming language to describe transformations (rewritings) among multi-sets of constraints (ato...
Edmund S. L. Lam, Martin Sulzmann
IADIS
2004
13 years 10 months ago
A Framework for Symbolic Distributed Computer-Aided Design over the Internet
Economical globalization and outsourcing have inspired the surge of research in distributed computer-aided design. This paper presents a framework for Internet-based symbolic dist...
Yingcai Xiao, Shivakumar Kubendrachari
GW
2009
Springer
151views Biometrics» more  GW 2009»
13 years 6 months ago
Towards Interactive Web-Based Virtual Signers: First Step, a Platform for Experimentation Design
In this paper, we present a Web-based framework for interactive Sign Language using virtual signing agents. The main feature of this framework is that it is a full DOM-Integrated a...
Jean-Paul Sansonnet, Annelies Braffort, Cyril Verr...
ECOOP
2010
Springer
14 years 1 months ago
Self-Replicating Objects for Multicore Platforms
The paper introduces Self-Replicating Objects (SROs), a new nt programming abstraction. An SRO is implemented and used much like an ordinary .NET object and can expose arbitrary us...
Krzysztof Ostrowski, Chuck Sakoda, Ken Birman
TOOLS
2008
IEEE
14 years 3 months ago
A Multiparadigm Study of Crosscutting Modularity in Design Patterns
Abstract. Design patterns provide solutions to recurring design problems in object-oriented programming. Design patterns typically crosscut class boundaries so previous work aimed ...
Martin Kuhlemann, Sven Apel, Marko Rosenmülle...