1864 search results - page 104 / 373 » Formal topology and domains |
158
click to vote
INFORMATICALT
2006
15 years 6 months ago
2006
The paper describes the development and performance of parallel algorithms for the discrete element method (DEM) software. Spatial domain decomposition strategy and message passing...
167
click to vote
CADE
2007
Springer
16 years 6 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...
175
click to vote
OTM
2005
Springer
15 years 12 months ago
2005
Springer
There are many problems requiring a semantic account of a database schema. At its best, such an account consists of mapping formulas between the schema and a formal conceptual mode...
137
click to vote
ENTCS
2006
15 years 6 months ago
2006
Means for the representation of variability in UML 2.0 interactions, as presented in a previous work, are further formalised and given a mathematically formal semantics. In this w...
181
click to vote
DEXAW
2009
IEEE
16 years 1 months ago
2009
IEEE
One of the main limitations in using ontologies in modern information systems is due to the fact that the design and maintenance of ontologies is a complex activity that requires ...