2766 search results - page 303 / 554 » Hybridizing a Logical Framework |
170
Voted
CORR
2008
Springer
15 years 6 months ago
2008
Springer
In the constraint programming framework, state-of-the-art static and dynamic decomposition techniques are hard to apply to problems with complete initial constraint graphs. For suc...
178
click to vote
TVCG
2002
15 years 6 months ago
2002
A new hybrid scheme (LEA) that combines the advantages of Eulerian and Lagrangian frameworks is applied to the visualization of dense representations of time-dependent vector field...
191
click to vote
HYBRID
2010
Springer
16 years 1 months ago
2010
Springer
The complexity of physical and engineering systems, both in terms of the governing physical phenomena and the number of subprocesses involved, is mirrored in ever more complex mat...
192
click to vote
CCS
2005
ACM
16 years 7 days ago
2005
ACM
This paper provides a formal framework for the analysis of information hiding properties of anonymous communication protocols in terms of epistemic logic. The key ingredient is ou...
138
click to vote
WADT
1998
Springer
15 years 11 months ago
1998
Springer
We propose a definition of hierarchical heterogeneous formal specifications, where each module is specified according to its own homogeneous logic. We focus on the specification st...