Sciweavers

1766 search results - page 174 / 354
» Developing Applications With Objective Caml
Sort
View
WAIM
2009
Springer
15 years 10 months ago
Probabilistic Threshold Range Aggregate Query Processing over Uncertain Data
Large amount of uncertain data is inherent in many novel and important applications such as sensor data analysis and mobile data management. A probabilistic threshold range aggrega...
Shuxiang Yang, Wenjie Zhang, Ying Zhang, Xuemin Li...
DATE
2008
IEEE
106views Hardware» more  DATE 2008»
15 years 10 months ago
Software Components for Reliable Automotive Systems
System-level integration requires an overall understanding of the interplay of the sub-systems to enable componentbased development with portability, reconfigurability and extens...
Harald Heinecke, Werner Damm, Bernhard Josko, Alex...
ETFA
2008
IEEE
15 years 10 months ago
Functional safety and system security in automation systems - a life cycle model
Industrial and building automation systems are more and more important in industry and buildings. New services and novel fields of application call for dependable systems. Two ver...
Thomas Novak, Albert Treytl
OOPSLA
2007
Springer
15 years 10 months ago
Lost in translation: formalizing proposed extensions to c#
Current real-world software applications typically involve heavy use of relational and XML data and their query languages. Unfortunately object-oriented languages and database que...
Gavin M. Bierman, Erik Meijer, Mads Torgersen
SEKE
2005
Springer
15 years 9 months ago
A State-Based Approach to Testing Aspect-Oriented Programs
This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited ...
Dianxiang Xu, Weifeng Xu, Kendall E. Nygard