3765 search results - page 491 / 753 » Formal Methods for Systems Engineering Behavior Models |
200
click to vote
MEMOCODE
2007
IEEE
16 years 28 days ago
2007
IEEE
Due to the rapidly growing speed and the decreasing size of gates in modern chips, the probability of faults caused by the production process grows. Already small variations lead ...
188
click to vote
JSAC
2006
15 years 6 months ago
2006
Abstract-- The performance of ad hoc networks depends on cooperation and trust among distributed nodes. To enhance security in ad hoc networks, it is important to evaluate trustwor...
174
click to vote
WOSP
2000
ACM
15 years 11 months ago
2000
ACM
This paper describes the software package DSPNexpress 2000, a tool for the quantitative evaluation of systems specified in stochastic Petri nets, the Unified Modeling Language (UM...
198
click to vote
IAJIT
2010
15 years 5 months ago
2010
: The content-based retrieval systems for 3D models on the Web become necessary since digital databases of 3D objects are growing. In this paper, we propose a new method to describ...
131
click to vote
UIST
2003
ACM
15 years 12 months ago
2003
ACM
Cascading menus are commonly seen in most GUI systems. However, people sometimes choose the wrong items by mistake, or become frustrated when submenus pop up unnecessarily. This p...