921 search results - page 161 / 185 » On Interleaving in Timed Automata |
101
click to vote
IANDC
2011
14 years 6 months ago
2011
Query answering algorithms on Xml streams check answer candidates on the fly in order to avoid the unnecessary buffering whenever possible. The delay and concurrency of a query ...
EMSOFT
2008
Springer
15 years 1 months ago
2008
Springer
Relations between models are important for effective automatic validation, for comparing implementations with specifications, and for increased understanding of embedded systems d...
82
Voted
SIGSOFT
2008
ACM
16 years 15 days ago
2008
ACM
Modern Web 2.0 applications, such as GMail, Live Maps, Facebook and many others, use a combination of Dynamic HTML, JavaScript and other Web browser technologies commonly referred...
102
click to vote
STOC
2003
ACM
16 years 1 days ago
2003
ACM
We present a new bicriteria approximation algorithm for the degree-bounded minimum-cost spanning tree problem: Given an undirected graph with nonnegative edge weights and degree b...
BROADNETS
2005
IEEE
15 years 5 months ago
2005
IEEE
Abstract— This paper provides a concise modeling and performance evaluation of the iSCSI storage area network (SAN) architecture and protocol. SANs play a key role in business co...