1613 search results - page 186 / 323 » Model-Driven Constraint Engineering |
113
click to vote
GRAPHICSINTERFACE
2009
15 years 1 months ago
2009
We present Drive, a system for the conceptual layout of 3D path networks. Our sketch-based interface allows users to efficiently author path layouts with minimal instruction. Our ...
106
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
A recently published approach to adaptive page rank, using the solution of quadratic optimization methods with a set of simple constraints [3], is modified to permit classificatio...
155
click to vote
FOSSACS
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents a range of quantitative extensions for the temporal logic CTL. We enhance temporal modalities with the ability to constrain the number of states satisfying cert...
107
click to vote
ISORC
2007
IEEE
15 years 10 months ago
2007
IEEE
In object-oriented real-time computing scenarios, particularly where Corba is used in embedded systems with resource constraints, developers and system architects often utilize Co...
121
click to vote
FSEN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...