2556 search results - page 443 / 512 » The Triconnected Abstraction of Process Models |
189
click to vote
LCN
2008
IEEE
16 years 17 days ago
2008
IEEE
Abstract—Mobile Ad Hoc Networks present several new challenges, mainly due to mobility. Publish/Subscribe is a communication paradigm that fits this network model well since the...
184
click to vote
LICS
2008
IEEE
16 years 17 days ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...
153
click to vote
RTSS
2008
IEEE
16 years 17 days ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
185
click to vote
DASFAA
2007
IEEE
16 years 15 days ago
2007
IEEE
Abstract. The rapid growth in the amount of XML data and the development of publish-subscribe systems have led to great interest in processing streaming XML data. We propose the Qs...
162
click to vote
HICSS
2007
IEEE
16 years 15 days ago
2007
IEEE
Abstract— UrbanSim is a large scale land use and transportation simulator that models the possible long-term effects of different policies on urban regions. The output is present...