Sciweavers

6693 search results - page 937 / 1339
» On an anytime algorithm for control
Sort
View
PVLDB
2008
118views more  PVLDB 2008»
15 years 3 months ago
XTCcmp: XQuery compilation on XTC
XTCcmp, the XQuery Compiler of a native XML database system, extends Starburst's well-known Query Graph Model to serve as an internal representation and basis for query restr...
Christian Mathis, Andreas M. Weiner, Theo Här...
CORR
2010
Springer
113views Education» more  CORR 2010»
15 years 3 months ago
Simulated Annealing for Location Area Planning in Cellular networks
LA planning in cellular network is useful for minimizing location management cost in GSM network. In fact, size of LA can be optimized to create a balance between the LA update ra...
Nilesh B. Prajapati, Rupal R. Agravat, Mosin I. Ha...
ICST
2010
IEEE
15 years 2 months ago
Timed Moore Automata: Test Data Generation and Model Checking
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
Helge Löding, Jan Peleska
MODELS
2010
Springer
15 years 2 months ago
Towards a Semantics of Activity Diagrams with Semantic Variation Points
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
Hans Grönniger, Dirk Reiss, Bernhard Rumpe
PVLDB
2010
97views more  PVLDB 2010»
15 years 2 months ago
Generating Databases for Query Workloads
To evaluate the performance of database applications and DBMSs, we usually execute workloads of queries on generated databases of different sizes and measure the response time. Th...
Eric Lo, Nick Cheng, Wing-Kai Hon