31 search results - page 6 / 7 » Formal Analysis in Model Management: Exploiting the Power of... |
HT
1987
ACM
13 years 9 months ago
1987
ACM
Hypertext is a technology well-suited to exploring different kinds of representational problems. It can be used first as an informal mechanism to describe the attributes of object...
WWW
2007
ACM
14 years 7 months ago
2007
ACM
The aggregation and comparison of behavioral patterns on the WWW represent a tremendous opportunity for understanding past behaviors and predicting future behaviors. In this paper...
SIGMOD
2008
ACM
14 years 6 months ago
2008
ACM
Pattern matching over event streams is increasingly being employed in many areas including financial services, RFIDbased inventory management, click stream analysis, and electroni...
ECCB
2005
IEEE
13 years 12 months ago
2005
IEEE
Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal trans...
MSWIM
2009
ACM
14 years 1 months ago
2009
ACM
In recent years, the number of sensor network deployments for real-life applications has rapidly increased and it is expected to expand even more in the near future. Actually, for...