11151 search results - page 194 / 2231 » On the Complexity of Model Expansion |
184
click to vote
TSI
2008
15 years 7 months ago
2008
In the context of code coupling, efficient data redistribution is a crucial issue to reach high-performances. However, most of the works in this area have limited their studies to ...
217
click to vote
PRDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Many large scale systems, like grids and structured peer to peer systems, operate on a constrained topology. Since underlying networks do not expose the real topology to the appli...
191
click to vote
OTM
2005
Springer
16 years 17 days ago
2005
Springer
There are many problems requiring a semantic account of a database schema. At its best, such an account consists of mapping formulas between the schema and a formal conceptual mode...
170
click to vote
CDC
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we analyze the verification of K-step opacity in discrete event systems that are modeled as (possibly non-deterministic) finite automata with partial observation on ...
188
click to vote
EDUTAINMENT
2006
Springer
15 years 10 months ago
2006
Springer
In this paper, we present a novel method for dynamic terrain in battlefield and an efficient plan to simulate crater in the battle. We explore a few methods for dynamic terrain sur...