6201 search results - page 394 / 1241 » Implementation of Axiomatic Language |
170
click to vote
SIGUCCS
1999
ACM
15 years 11 months ago
1999
ACM
One result of the action of Moore’s Law, the doubling of IT (Information Technology) power every 18 months, is a widening gap in the understanding of this technology between tho...
290
click to vote
GIS
2008
ACM
16 years 8 months ago
2008
ACM
It has been pointed out repeatedly that spatial operations must be extended to include support for 3D and moving objects. The attempt to code by hand each spatial operation for ea...
147
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
There are many different implementation approaches to realize the vision of feature oriented software development, ranging from simple preprocessors, over feature-oriented program...
154
click to vote
CSFW
2006
IEEE
16 years 28 days ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
164
click to vote
ADAEUROPE
2005
Springer
16 years 13 days ago
2005
Springer
Transparent system support for software fault tolerance reduces performance in general and precludes application-specific optimizations in particular. In contrast, explicit support...