3082 search results - page 343 / 617 » Deviation Analysis: A New Use of Model Checking |
184
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Partial periodic patterns mining is a very interesting domain in data mining problem. In the previous studies, full and partial multiple periodic patterns mining problems are cons...
186
click to vote
SPLC
2010
15 years 8 months ago
2010
This paper proposes a new style of product line engineering methods. It focuses on constructing embedded systems that take into account the contexts such as the external physical ...
153
click to vote
NOMS
2008
IEEE
16 years 29 days ago
2008
IEEE
—In this paper∗ , we devise a novel method for bottleneck analysis of UDP networks based on the concept of network utility maximization. To determine the losses on the links in...
162
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Due to the flexibility and adaptability of human, manual handling work is still very important in industry, especially for assembly and maintenance work. Well-designed work operat...
185
click to vote
WSC
1998
15 years 8 months ago
1998
The High Level Architecture (HLA) for distributed simulations was proposed by the Defense Modeling and Simulation Office of the Department of Defense (DOD) in order to support int...