2088 search results - page 155 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
164
click to vote
DAC
2010
ACM
15 years 8 months ago
2010
ACM
In this study, we propose the use of specialized influence models to capture the dynamic behavior of a Network-onChip (NoC). Our goal is to construct a versatile modeling framewor...
149
click to vote
AUSAI
2009
Springer
16 years 1 months ago
2009
Springer
We extend a recent approach to integrate action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an action theory as internal world model t...
262
click to vote
SIGMOD
2007
ACM
16 years 6 months ago
2007
ACM
This paper extends relational processing and optimization to the FISQL/FIRA languages for dynamic schema queries over multidatabases. Dynamic schema queries involve the creation a...
192
click to vote
TVCG
1998
15 years 6 months ago
1998
—New challenges on vector field visualization emerge as time-dependent numerical simulations become ubiquitous in the field of computational fluid dynamics (CFD). To visualize da...
158
click to vote
ITCC
2005
IEEE
16 years 3 days ago
2005
IEEE
Access control software must be based on a security policy model. Flaws in them may come from a lack of precision or some incoherences in the policy model or from inconsistencies ...