5777 search results - page 408 / 1156 » The palladio component model |
182
click to vote
FLAIRS
2008
15 years 10 months ago
2008
We describe a new approach to model construction using transfer function diagrams that are consequently mapped into generalized loopy logic, a first-order, Turing-complete stochas...
217
click to vote
CAV
2008
Springer
15 years 9 months ago
2008
Springer
In this paper we present a word-level model checking method that attempts to speed up safety property checking of industrial netlists. Our aim is to construct an algorithm that all...
191
click to vote
HCI
2007
15 years 9 months ago
2007
This paper presents an Activity Theoretical analysis and design model for Web-based experimentation, which is one of the online activities that plays a key role in the development ...
204
Voted
AAAI
2006
15 years 9 months ago
2006
Modeling complex architectures is quite challenging. We introduce a novel intelligent system, which can generate semi-style or semi-structure Chinese ancient architectures automat...
217
click to vote
APPINF
2003
15 years 9 months ago
2003
A key component in Distributed Interactive Simulations (DIS) is the number of data packets transmitted across the connected networks. To reduce the number of packets transmitted, ...