Sciweavers

5415 search results - page 769 / 1083
» The Implementation of Functional Programming Languages
Sort
View
IFIP
2003
Springer
15 years 12 months ago
JMS on Mobile Ad Hoc Networks
The Java Message Service (JMS) provides a standard asynchronous messaging API, which simplifies the construction of loosely coupled, distributed applications. This paper describes ...
Einar Vollset, David B. Ingham, Paul D. Ezhilchelv...
FDL
2007
IEEE
16 years 1 months ago
A Case-Study in Property-Based Synthesis: Generating a Cache Controller from a Property-Set
Abstract—Property-based synthesis has become a more prominent topic during the last years, being used in multiple areas like e.g. formal verification and design automation. We w...
Martin Schickel, Martin Oberkönig, Martin Sch...
PERVASIVE
2004
Springer
16 years 2 days ago
Ubiquitous Chip: A Rule-Based I/O Control Device for Ubiquitous Computing
In this paper, we propose a new framework for ubiquitous computing by rule-based, event-driven I/O (input/output) control devices. Our approach is flexible and autonomous because ...
Tsutomu Terada, Masahiko Tsukamoto, Keisuke Hayaka...
SIGPLAN
2002
15 years 6 months ago
Weaving Aspects in a Persistent Environment
This paper discusses two mechanisms for weaving aspects in persistent environments founded on object-oriented databases. The first mechanism is based on exploiting existing aspect ...
Awais Rashid
CP
2008
Springer
15 years 8 months ago
Adding Search to Zinc
Abstract. We describe a small, non-intrusive extension to the declarative modelling language Zinc that allows users to define model-specific search. This is achieved by providing a...
Reza Rafeh, Kim Marriott, Maria Garcia de la Banda...