1268 search results - page 219 / 254 » Dynamic Tool Integration in Heterogeneous Computer Networks |
117
Voted
ICCAD
2010
IEEE
14 years 12 months ago
2010
IEEE
State-based model checking methods comprise computing and storing reachable states, while stateless model checking methods directly reason about reachable paths using decision proc...
211
click to vote
GIS
2007
ACM
16 years 2 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
129
click to vote
CCECE
2006
IEEE
15 years 8 months ago
2006
IEEE
Although many QoS management architectures have been recently introduced with a lot of advanced features, they have never been widely used in the existing applications due to the ...
107
click to vote
EDBT
2010
ACM
15 years 5 months ago
2010
ACM
Detecting emerging problems in information and manufacturing systems is the goal of monitoring tools. Good and timely detection of problematic conditions from measured indicators ...
102
click to vote
IJOE
2008
15 years 1 months ago
2008
For experiments to be reproducible, it is important to have a known and controlled environment. This requires isolation from the surroundings. For security experiments, e.g. with h...