4397 search results - page 132 / 880 » Relational Algebra Operations |
106
click to vote
CIE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We define a general concept of a network of analogue modules connected by channels, processing data from a metric space A, and operating with respect to a global continu...
125
click to vote
ROOM
2000
15 years 3 months ago
2000
This paper is a proposal for a new two-tier calculus, designed to model aspects of CORBA-like systems at the CORBA evel. The higher object level known as Oompa abstracts away from...
126
Voted
ICIP
1998
IEEE
16 years 4 months ago
1998
IEEE
In this work, we employ a complex representation for an algebraic curve, and illustrate how the algebraic transformation which relates two Euclidean equivalent curves can be deter...
116
click to vote
UML
2001
Springer
15 years 7 months ago
2001
Springer
: There are several reasons to specify UML models in a formal way The most important are to avoid inconsistencies and ambiguities and to do verification and forecasting of system p...
168
click to vote
CSFW
2000
IEEE
15 years 7 months ago
2000
IEEE
Some of the non interference properties studied in [4, 6, 18] for information flow analysis in computer systems, notably Æ , are reformulated here in a realtime setting. This is...