12289 search results - page 140 / 2458 » System modeling with mixed object and data models |
133
click to vote
CONCUR
2006
Springer
15 years 8 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...
128
click to vote
VLDB
2000
ACM
15 years 7 months ago
2000
ACM
Modern database applications show a growing demand for efficient and dynamic management of intervals, particularly for temporal and spatial data or for constraint handling. Common...
147
click to vote
CIKM
2010
Springer
15 years 2 months ago
2010
Springer
Web search is challenging partly due to the fact that search queries and Web documents use different language styles and vocabularies. This paper provides a quantitative analysis ...
136
click to vote
ISCIS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Flexible Manufacturing Systems (FMSs) are adopted to process different goods in different mix ratios allowing firms to react quickly and efficiently to changes in produ...
136
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...