3435 search results - page 190 / 687 » Aspect Model Unweaving |
175
click to vote
ADHOCNOW
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we describe our analysis of a real trace and propose a mobility model. The trace data we used for this study was collected from a military experiment carried out in L...
167
click to vote
CP
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we present a hybrid model for the demand acceptance variant of the routing and wavelength assignment problem in directed networks, an important benchmark problem in o...
166
click to vote
DATE
2007
IEEE
16 years 25 days ago
2007
IEEE
This paper focuses on inductive invariants in unbounded model checking to improve efficiency and scalability. First of all, it introduces optimized techniques to speedup the comp...
188
click to vote
ECBS
2007
IEEE
16 years 25 days ago
2007
IEEE
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techni...
151
click to vote
IEEESCC
2007
IEEE
16 years 24 days ago
2007
IEEE
Traditionally, product models often have a rigid nature, both with respect to the manner in which they are initially tailored to clients, and to the way they are maintained over t...