Sciweavers

1671 search results - page 251 / 335
» Language Constructs for Multi-agent Programming
Sort
View
IFM
2010
Springer
124views Formal Methods» more  IFM 2010»
14 years 10 months ago
Safe Commits for Transactional Featherweight Java
Abstract. Transactions are a high-level alternative for low-level concurrencycontrol mechanisms such as locks, semaphores, monitors. A recent proposal for integrating transactional...
Thi Mai Thuong Tran, Martin Steffen
IGPL
2011
14 years 3 months ago
Interpolation and FEP for logics of residuated algebras
A residuated algebra (RA) is a generalization of a residuated groupoid; instead of one basic binary operation · with residual operations \, /, it admits finitely many basic oper...
Wojciech Buszkowski
WWW
2001
ACM
16 years 16 days ago
Personalizing E-commerce applications with on-line heuristic decision making
This paper describes new technology based on on-line decision support for providing personalized customer treatments in web-based storefronts and information sites. The central im...
Vinod Anupam, Richard Hull, Bharat Kumar

Publication
139views
14 years 11 months ago
Separation of concerns in compiler development using aspect-orientation
A major difficulty in compiler development regards the proper modularization of concerns among the various compiler phases. The traditional object-oriented development paradigm ha...
WWW
2004
ACM
16 years 16 days ago
A generic uiml vocabulary for device- and modality independent user interfaces
We present in this poster our work on a User Interface Markup Language (UIML) vocabulary for the specification of device- and modality independent user interfaces. The work presen...
Rainer Simon, Michael Jank, Florian Wegscheider