Results 271 to 280 of about 5,283,663 (317)
Some of the next articles are maybe not open access.
1995
In this chapter we address the question of how to construct a DBMS architecture supporting TSQL2. Our goal is to enumerate the changes that a conventional DBMS would need to support TSQL2. We are concerned with modifying a conventional DBMS in a minimal fashion to support TSQL2.
Soo, M. D. +2 more
openaire +2 more sources
In this chapter we address the question of how to construct a DBMS architecture supporting TSQL2. Our goal is to enumerate the changes that a conventional DBMS would need to support TSQL2. We are concerned with modifying a conventional DBMS in a minimal fashion to support TSQL2.
Soo, M. D. +2 more
openaire +2 more sources
Proceedings of the 2nd International Workshop on Science of Smart City Operations and Platforms Engineering, 2017
We develop a diagrammatic tool for constructing correlations between random variables, called an abstract indicator framework. Abstract indicator frameworks are modeled off operational (key performance) indicator frameworks as they are used in city planning and project governance, and give a rigorous, statistically-motivated process for constructing ...
Joshua Tan +3 more
openaire +1 more source
We develop a diagrammatic tool for constructing correlations between random variables, called an abstract indicator framework. Abstract indicator frameworks are modeled off operational (key performance) indicator frameworks as they are used in city planning and project governance, and give a rigorous, statistically-motivated process for constructing ...
Joshua Tan +3 more
openaire +1 more source
Nursing Management, 2003
The NHS leadership qualities framework is now ready for use and has been posted on the NHS Leadership Centre website at www.nhsleadershipqualities.nhs.uk.
openaire +2 more sources
The NHS leadership qualities framework is now ready for use and has been posted on the NHS Leadership Centre website at www.nhsleadershipqualities.nhs.uk.
openaire +2 more sources
International Journal of Human-Computer Studies, 1999
A new schematic framework for navigation is presented which is relevant to physical, abstract and social environments. Navigation is defined as the creation and interpretation of an internal (mental) model, and its component activities are browsing, modelling, interpretation and the formulation of browsing strategy.
openaire +1 more source
A new schematic framework for navigation is presented which is relevant to physical, abstract and social environments. Navigation is defined as the creation and interpretation of an internal (mental) model, and its component activities are browsing, modelling, interpretation and the formulation of browsing strategy.
openaire +1 more source
2008
Isabelle, which is available from http://isabelle.in.tum.de , is a generic framework for interactive theorem proving. The Isabelle/Puremeta-logic allows the formalization of the syntax and inference rules of a broad range of object-logics following the general idea of natural deduction [32,33].
Makarius Wenzel +2 more
openaire +1 more source
Isabelle, which is available from http://isabelle.in.tum.de , is a generic framework for interactive theorem proving. The Isabelle/Puremeta-logic allows the formalization of the syntax and inference rules of a broad range of object-logics following the general idea of natural deduction [32,33].
Makarius Wenzel +2 more
openaire +1 more source
2017
This chapter examines the institutional context of the European Union's international relations. EU institutions such as the Council, Commission, European Parliament, and the Court of Justice play substantially different roles depending on the policy area.
Vanhoonacker - Kormoss, Sophie +1 more
openaire +2 more sources
This chapter examines the institutional context of the European Union's international relations. EU institutions such as the Council, Commission, European Parliament, and the Court of Justice play substantially different roles depending on the policy area.
Vanhoonacker - Kormoss, Sophie +1 more
openaire +2 more sources
1988
Over the years, the Byzantine Generals Problem has become notorious for the complexity of its solutions. This is particularly true for protocols with the early-stopping property. Moreover, minor changes in the fault model resulted in drastically different protocols. In this paper, we expose a fundamental technique that underlies most of these protocols.
openaire +1 more source
Over the years, the Byzantine Generals Problem has become notorious for the complexity of its solutions. This is particularly true for protocols with the early-stopping property. Moreover, minor changes in the fault model resulted in drastically different protocols. In this paper, we expose a fundamental technique that underlies most of these protocols.
openaire +1 more source