Sciweavers

46 search results - page 7 / 10
» A layered framework supporting personal information integrat...
Sort
View
ISEMANTICS
2010
13 years 10 months ago
SESAME demonstrator: ontologies, services and policies for energy efficiency
The project SESAME uses semantic modeling and reasoning to support home owners and building managers in saving energy and in optimizing their energy costs while maintaining their ...
Slobodanka Tomic, Anna Fensel, Tassilo Pellegrini
ICSE
2003
IEEE-ACM
14 years 8 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...
JIDM
2010
121views more  JIDM 2010»
13 years 7 months ago
Providing Multidimensional and Geographical Integration Based on a GDW and Metamodels
Data Warehouse (DW), On-Line Analytical Processing (OLAP) and Geographical Information System (GIS) are tools for providing decision-making support. Much research is aimed at inte...
Robson do Nascimento Fidalgo, Valéria Ces&a...
HYBRID
2010
Springer
14 years 1 months ago
Safe compositional network sketches: formal framework
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Mi...
KDD
2004
ACM
213views Data Mining» more  KDD 2004»
14 years 1 months ago
Analytical view of business data
This paper describes a logical extension to Microsoft Business Framework (MBF) called Analytical View (AV). AV consists of three components: Model Service for design time, Busines...
Adam Yeh, Jonathan Tang, Youxuan Jin, Sam Skrivan