2765 search results - page 84 / 553 » Spatio-temporal Models and Languages: An Approach Based on C... |
157
click to vote
CP
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a model and implementation techniques for speeding up constraint propagation. Two fundamental approaches to improving constraint propagation are explored: keepi...
186
click to vote
ECBS
2006
IEEE
16 years 14 days ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
182
click to vote
WCNC
2008
IEEE
16 years 23 days ago
2008
IEEE
A primary constraint in wireless sensor networks (WSNs) is obtaining reliable and prolonged network operation with power-limited sensor nodes. Most of the approaches to the energy ...
173
click to vote
PST
2008
15 years 7 months ago
2008
In this paper we develop a security verification framework for open source software with a multi-language support. We base our approach on the GCC compiler which is considered as ...
160
click to vote
AIMS
2007
Springer
16 years 18 days ago
2007
Springer
Policy conflict analysis processes based solely on the examination of policy language constructs can not readily discern the semantics associated with the managed system for which ...