1223 search results - page 112 / 245 » An Attributive Logic of Set Descriptions and Set Operations |
196
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...
163
click to vote
ER
2005
Springer
16 years 8 hour ago
2005
Springer
We discuss the main features of a multilevel dictionary based on a metamodel approach. The application is an implementation of ModelGen, the model management operator that translat...
176
click to vote
EGC
2005
Springer
16 years 9 hour ago
2005
Springer
We are concerned with the following problem: How do we allow a community of users to access and process diverse data stored in many different formats? Standard data formats and da...
204
click to vote
APCCM
2006
15 years 7 months ago
2006
The integration of data from different sources often leads to the adoption of schemata that entail a loss of information in respect of one or more of the data sets being combined....
171
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. FinFuns are total functions that are constant except for a finite set of points, i.e. a generalisation of finite maps. We formalise them in Isabelle/HOL and present how...