Sciweavers

1651 search results - page 164 / 331
» Negotiable Interfaces for Components
Sort
View
FSEN
2009
Springer
15 years 2 months ago
Specification and Validation of Behavioural Protocols in the rCOS Modeler
The rCOS modeler implements the requirements modelling phase of a model driven component-based software engineering process. Components are specified in rCOS, a relational calculus...
Zhenbang Chen, Charles Morisset, Volker Stolz
EMSOFT
2006
Springer
15 years 1 months ago
Software partitioning for effective automated unit testing
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
Arindam Chakrabarti, Patrice Godefroid
DSONLINE
2006
79views more  DSONLINE 2006»
14 years 10 months ago
Integrating Security Policies via Container Portable Interceptors
In the past, it was very common to develop middleware without consideration of security from the very beginning. To integrate security, the middleware that should be protected has...
Tom Ritter, Rudolf Schreiner, Ulrich Lang
93
Voted
IEEEVAST
2010
14 years 5 months ago
Anomaly detection in GPS data based on visual analytics
Modern machine learning techniques provide robust approaches for data-driven modeling and critical information extraction, while human experts hold the advantage of possessing hig...
Zicheng Liao, Yizhou Yu, Baoquan Chen
83
Voted
WISE
2009
Springer
15 years 7 months ago
Focused Search in Digital Archives
We present a system description for an archival information system with three different approaches to gain online access to digital archives created in the metadata standard Encod...
Junte Zhang, Jaap Kamps