3082 search results - page 434 / 617 » Deviation Analysis: A New Use of Model Checking |
197
click to vote
SERA
2010
Springer
15 years 4 months ago
2010
Springer
—Evidence shows that proposals for new modeling notations emerge and evolution of current ones are becoming more complex, often in an attempt to satisfy the many different modeli...
168
click to vote
JOT
2008
15 years 6 months ago
2008
Readers of this article have probably seen, at least once, diagrams produced using the UML (Unified Modeling Language). Some of you have perhaps used UML for your own work and kno...
162
click to vote
AI
2008
Springer
15 years 6 months ago
2008
Springer
In this paper we address the problem of agents engaged in a distributed costly two-sided search for pairwise partnerships in Multi-Agent Systems (MAS). While traditional two-sided...
161
click to vote
ITC
2003
IEEE
15 years 11 months ago
2003
IEEE
A technique to derive test vectors that exercise the worstcase delay effects in a domino circuit in the presence of crosstalk is described. A model for characterizing the delay of...
172
click to vote
ISMIR
2001
Springer
15 years 10 months ago
2001
Springer
MUSART is a research project developing and studying new techniques for music information retrieval. The MUSART architecture uses a variety of representations to support multiple ...