4914 search results - page 690 / 983 » Arbitration of a help system |
211
click to vote
UML
2005
Springer
16 years 6 days ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
159
click to vote
HICSS
2003
IEEE
16 years 1 days ago
2003
IEEE
A standard notation, that unambiguously expresses different aspects of a system, is important to the process of software development. The expressiveness of a standard notation hel...
204
Voted
SIGCOMM
2003
ACM
15 years 12 months ago
2003
ACM
Content-based full-text search is a challenging problem in Peer-toPeer (P2P) systems. Traditional approaches have either been centralized or use flooding to ensure accuracy of th...
172
Voted
GI
2003
Springer
15 years 12 months ago
2003
Springer
: The integrated approach for analysis of Large Complex Critical Infrastructures (LCCIs) to afford survivability aimed at preparing a Roadmap for Research and Development for criti...
186
click to vote
GLVLSI
2010
IEEE
15 years 12 months ago
2010
IEEE
On-chip memory organization is one of the most important aspects that can influence the overall system behavior in multiprocessor systems. Following the trend set by high-perform...