5130 search results - page 842 / 1026 » Constraint Query Languages |
152
click to vote
CAISE
2007
Springer
16 years 4 days ago
2007
Springer
This paper presents a model driven approach for the generation of business process driven web applications within the context of ubiquitous environments. For this reason, we have t...
132
click to vote
COSIT
2007
Springer
16 years 4 days ago
2007
Springer
In order to apply advanced high-level concepts for transportation networks, like hypergraphs, multi-level wayfinding and traffic forecasting, to commercially available street netwo...
185
click to vote
CP
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that a technique called randomi...
146
click to vote
FSTTCS
2007
Springer
16 years 4 days ago
2007
Springer
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
223
click to vote
IFIP
2007
Springer
16 years 3 days ago
2007
Springer
The support of QoS properties in component-based software requires the run-time selection of appropriate concrete QoS contracts at the ports of the interacting components. Such a s...