Sciweavers

2582 search results - page 348 / 517
» Developing a Data Driven System for Computational Neuroscien...
Sort
View
GRID
2008
Springer
15 years 1 months ago
Cost and accuracy sensitive dynamic workflow composition over grid environments
A myriad of recent activities can be seen towards dynamic workflow composition for processing complex and data intensive problems. Meanwhile, the simultaneous emergence of the gri...
David Chiu, Sagar Deshpande, Gagan Agrawal, Rongxi...
MVA
2000
208views Computer Vision» more  MVA 2000»
15 years 1 months ago
Real-time multiple vehicle detection and tracking from a moving vehicle
A real-time vision system has been developed that analyzes color videos taken from a forward-looking video camera in a car driving on a highway. The system uses a combination of co...
Margrit Betke, Esin Haritaoglu, Larry S. Davis
110
Voted
RAID
2010
Springer
14 years 11 months ago
CANVuS: Context-Aware Network Vulnerability Scanning
Enterprise networks face a variety of threats including worms, viruses, and DDoS attacks. Development of effective defenses against these threats requires accurate inventories of n...
Yunjing Xu, Michael Bailey, Eric Vander Weele, Far...
CCS
2011
ACM
14 years 1 months ago
Information-flow types for homomorphic encryptions
We develop a flexible information-flow type system for a range of encryption primitives, precisely reflecting their diverse functional and security features. Our rules enable e...
Cédric Fournet, Jérémy Planul...
135
Voted
VALUETOOLS
2006
ACM
164views Hardware» more  VALUETOOLS 2006»
15 years 7 months ago
Analysis of Markov reward models using zero-suppressed multi-terminal BDDs
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...
Kai Lampka, Markus Siegle