1344 search results - page 168 / 269 » Automatic performance analysis with periscope |
104
Voted
FMCAD
2004
Springer
15 years 5 months ago
2004
Springer
The main challenge in BDD-based verification is dealing with the memory explosion problem during reachability analysis. In this paper we advocate a methodology to handle this probl...
104
click to vote
UML
2000
Springer
15 years 5 months ago
2000
Springer
We propose a methodology for hypermedia design which is based on a UML profile for the hypermedia domain. Starting with a use case analysis and a conceptual model of the applicatio...
100
click to vote
CAV
2010
Springer
15 years 4 months ago
2010
Springer
We present a graphical toolset for verifying AADL models, which are gaining widespread acceptance in aerospace, automobile and avionics industries for comprehensively specifying sa...
CLEF
2008
Springer
15 years 3 months ago
2008
Springer
We describe a baseline system for the VideoCLEF Vid2RSS task. The system uses an unaltered off-the-shelf Information Retrieval system. ASR content is indexed using default stemmin...
144
click to vote
INFOSCALE
2007
ACM
15 years 3 months ago
2007
ACM
It is important to provide adaptive data processing in wireless sensor networks in order to deal with various applications. In this paper,we propose a WIreless Sensor Networks Ont...