4890 search results - page 692 / 978 » From system specifications to component behavioral models |
183
click to vote
IAT
2010
IEEE
15 years 4 months ago
2010
IEEE
It is widely acknowledged that providing explanations is an important capability of intelligent systems. Explanation capabilities are useful, for example, in scenario-based traini...
164
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. This paper gives algebraic definitions for obtaining the minimal transition and place flows of a modular Petri net from the minimal transition and place flows of its comp...
153
click to vote
LAWEB
2005
IEEE
16 years 8 days ago
2005
IEEE
The concurrent growth of on-line communities exhibiting large-scale social structure, and of large decentralized peer-to-peer file-sharing systems, has stimulated new interest in...
148
click to vote
ASIAN
2005
Springer
16 years 7 days ago
2005
Springer
The concurrent growth of on-line communities exhibiting large-scale social structure, and of large decentralized peer-to-peer file-sharing systems, has stimulated new interest in...
204
click to vote
ISSRE
2010
IEEE
15 years 5 months ago
2010
IEEE
—Architecture-based software reliability analysis methods shall help software architects to identify critical software components and to quantify their influence on the system r...