Sciweavers

3330 search results - page 258 / 666
» software 2010
Sort
View
FASE
2010
Springer
15 years 7 months ago
Proving Consistency and Completeness of Model Classes Using Theory Interpretation
Abstract. Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathem...
Ádám Darvas, Peter Müller
IUI
2010
ACM
15 years 6 months ago
A multi faceted recommendation approach for explorative video retrieval tasks
In this paper we examine the use of multi faceted recommendations to aid users while carrying out exploratory video retrieval tasks. These recommendations are integrated into ViGO...
David Vallet, Martin Halvey, David Hannah, Joemon ...
ESSOS
2010
Springer
15 years 5 months ago
BuBBle: A Javascript Engine Level Countermeasure against Heap-Spraying Attacks
Web browsers that support a safe language such as Javascript are becoming a platform of great interest for security attacks. One such attack is a heap-spraying attack: a new kind o...
Francesco Gadaleta, Yves Younan, Wouter Joosen
97
Voted
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 5 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
EDBTW
2010
Springer
15 years 4 months ago
Leveraging web streams for contractual situational awareness in operational BI
The capability of correlating streaming web data with internal data in near real time gives enterprises a tremendous competitive advantage by enabling them to be aware of external...
Malú Castellanos, Chetan Gupta, Song Wang, ...