1071 search results - page 102 / 215 » The Calculus of Algebraic Constructions |
203
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
The framework of psi-calculi extends the pi-calculus with nominal datatypes for data structures and for logical assertions and conditions. These can be transmitted between processe...
192
Voted
IPSN
2009
Springer
16 years 28 days ago
2009
Springer
Camera networks are widely used for tasks such as surveillance, monitoring and tracking. In order to accomplish these tasks, knowledge of localization information such as camera l...
140
Voted
RE
2005
Springer
15 years 11 months ago
2005
Springer
View merging, also called view integration, is a key problem in conceptual modeling. Large models are often constructed and accessed by manipulating individual views, but it is im...
159
Voted
ER
2000
Springer
15 years 9 months ago
2000
Springer
Relational database systems represent the current standard technology for implementing database applications. Now that the object-oriented paradigm becomes more and more mature in...
150
Voted
JOLLI
2002
15 years 5 months ago
2002
Temporal logic can be used to describe processes: their behaviour is characterized by a set of temporal models axiomatized by a temporal theory. Two types of models are most often ...