Sciweavers

10871 search results - page 220 / 2175
» A stable programming language
Sort
View
120
Voted
GI
2008
Springer
15 years 3 months ago
Explicit Language and Infrastructure Support for Context-aware Services
: Dealing with context information is an important concern for mobile service computing. However, modern frameworks and programming languages do not directly support context-depend...
Malte Appeltauer, Robert Hirschfeld
124
Voted
ADAEUROPE
2000
Springer
15 years 7 months ago
On Persistent and Reliable Streaming in Ada
Saving internal program data for further use is one of the most useful ideas in programming. Developing general features to provide such data saving/ restoring is a very active res...
Jörg Kienzle, Alexander B. Romanovsky
114
Voted
CSL
1998
Springer
15 years 6 months ago
Revision Programming = Logic Programming + Integrity Constraints
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...
V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczyns...
230
Voted
ICLP
2009
Springer
16 years 3 months ago
Constraint Based Languages for Biological Reactions
In this paper, we study the modelization of biochemical reaction by using concurrent constraint programming idioms. In particular we will consider the stochastic concurrent constra...
Marco Bottalico, Stefano Bistarelli
142
Voted
LPNMR
2004
Springer
15 years 8 months ago
Towards Automated Integration of Guess and Check Programs in Answer Set Programming
Abstract. Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and checkâ...
Thomas Eiter, Axel Polleres