4965 search results - page 167 / 993 » A Simple Abstraction for Data Modeling |
167
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Publish/subscribe model is appropriate in many push based data dissemination applications. This paper presents cost model for publish/subscribe systems, analyze its perfo...
160
click to vote
FAC
2008
15 years 6 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
187
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Statistical static timing analysis (SSTA) has become a key method for analyzing the effect of process variation in aggressively scaled CMOS technologies. Much research has focused...
164
click to vote
ER
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In heterogeneous data warehousing environments, autonomous data sources are integrated into a materialised integrated database. The schemas of the data sources and the in...
167
click to vote
TSD
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A formal prosody model is proposed together with its application in a text-to-speech system. The model is based on a generative of abstract prosodic functionally involved...