Sciweavers

1166 search results - page 60 / 234
» Programming Language Support for Adaptable Wearable Computin...
Sort
View
DOOD
1997
Springer
134views Database» more  DOOD 1997»
14 years 1 months ago
Well-Founded Semantics for Deductive Object-Oriented Database Languages
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...
Wolfgang May, Bertram Ludäscher, Georg Lausen
HPCN
2000
Springer
14 years 19 days ago
Dynamic Reconfiguration in Coordination Languages
A rather recent approach in programming parallel and distributed systems is that of coordination models and languages. Coordination programming enjoys a number of advantages such a...
George A. Papadopoulos, Farhad Arbab
TON
2012
11 years 11 months ago
A Joint Approach to Routing Metrics and Rate Adaptation in Wireless Mesh Networks
—This work proposes MARA, a joint method for automatic rate selection and route quality evaluation in Wireless Mesh Networks. This method targets at avoiding the problem of inacc...
Diego G. Passos, Célio V. N. Albuquerque
RTA
2010
Springer
14 years 28 days ago
A Rewriting Logic Semantics Approach to Modular Program Analysis
The K framework, based on rewriting logic semantics, provides a powerful logic for defining the semantics of programming languages. While most work in this area has focused on de...
Mark Hills, Grigore Rosu
TSE
1998
114views more  TSE 1998»
13 years 8 months ago
KLAIM: A Kernel Language for Agents Interaction and Mobility
—We investigate the issue of designing a kernel programming language for mobile computing and describe KLAIM, a language that supports a programming paradigm where processes, lik...
Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugli...