Sciweavers

2940 search results - page 324 / 588
» Relational Parametricity and Control
Sort
View
CSL
2010
Springer
15 years 7 months ago
Quantified Differential Dynamic Logic for Distributed Hybrid Systems
Abstract. We address a fundamental mismatch between the combinations of dynamics that occur in complex physical systems and the limited kinds of dynamics supported in analysis. Mod...
André Platzer
EGOV
2010
Springer
15 years 7 months ago
From Policy-Making Statements to First-Order Logic
Within a framework for enriched on-line discussion forums for e-government policy-making, pro and con statements for positions are input, structurally related, then logically repre...
Adam Wyner, Tom M. van Engers, Kiavash Bahreini
GPC
2008
Springer
15 years 7 months ago
An Automatic and Scalable Testing Tool for Workflow Systems
Nowadays workflow systems are widely deployed around the world, especially within large international corporations. Thus the performance evaluation of these workflow systems becom...
Lin Quan, Xiaozhu Lin, Jianmin Wang
EOR
2008
66views more  EOR 2008»
15 years 6 months ago
Multiple goals and ownership structure: Effects on the performance of Spanish savings banks
Spanish savings banks (SBs) are financial institutions with a wide mission that includes different stakeholders' goals. Profit maximization is only one among several goals, a...
Miguel García-Cestona, Jordi Surroca
CORR
2006
Springer
100views Education» more  CORR 2006»
15 years 6 months ago
Automatic annotation of multilingual text collections with a conceptual thesaurus
Automatic annotation of documents with controlled vocabulary terms (descriptors) from a conceptual thesaurus is not only useful for document indexing and retrieval. The mapping of...
Bruno Pouliquen, Ralf Steinberger, Camelia Ignat