391 search results - page 23 / 79 » Formal Universes |
89
Voted
ADBIS
2007
Springer
15 years 6 months ago
2007
Springer
The semantics of a new language (CUDL – Conceptual Universal Database Language), designed to manage dynamic database environments, are presented. This language conforms to the FD...
104
Voted
FC
2005
Springer
15 years 6 months ago
2005
Springer
Two parties, say Alice and Bob, possess two sets of elements that belong to a universe of possible values and wish to test whether these sets are disjoint or not. In this paper we ...
133
click to vote
TARK
1992
Springer
15 years 4 months ago
1992
Springer
We present a bimodal logic suitable for formalizing reasoning about points and sets, and also states of the world and views about them. The most natural interpretation of the logi...
96
Voted
ACE
2003
15 years 1 months ago
2003
This paper describes the development, implementation and evaluation of a new teaching approach for a large first year undergraduate course in information systems at the University...
116
click to vote
FMSD
2010
14 years 11 months ago
2010
Abstract Modeling and Simulation Aided Verification of Analog/MixedSignal Circuits S. Little and C. Myers (University of Utah, USA) Monday, July 14, 14:00-17:00 4 14:00-14:40 fSpic...