4150 search results - page 381 / 830 » A Practical Approach to Model Extension |
162
click to vote
COSIT
1999
Springer
15 years 10 months ago
1999
Springer
In qualitative spatial reasoning, the last ten years have brought a lot of results on theories of spatial properties and relations taking regions of space as primitive entities. In...
140
click to vote
SP
1997
IEEE
15 years 10 months ago
1997
IEEE
The computer industry is increasingly dependent on open architectural standards for their competitive success. This paper describes a new approach to secure system design in which...
156
Voted
ACMSE
2006
ACM
15 years 10 months ago
2006
ACM
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
157
click to vote
ENTCS
2008
15 years 6 months ago
2008
We define transactional graph transformation systems (t-gtss), a mild extension of the ordinary framework for the double-pushout approach to graph transformation, which allows to ...
179
Voted
ISSE
2007
15 years 6 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...