2251 search results - page 29 / 451 » Specification and Implementation Problems for C |
216
click to vote
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
In some applications such as filling in a customer information form on the web, some missing values may not be explicitly represented as such, but instead appear as potentially va...
108
click to vote
DALT
2006
Springer
15 years 5 months ago
2006
Springer
We outline elements of the Abstract Contract Calculator, a prototype language implemented in Haskell (a declarative programming language) in which we simulate agents executing abst...
124
click to vote
ATVA
2010
Springer
15 years 2 months ago
2010
Springer
This paper proposes a method for automatically inserting check statements for access control into a given recursive program according to a given security specification. A history-b...
104
click to vote
ECOOP
1999
Springer
15 years 6 months ago
1999
Springer
This paper argues that the current OO technology does not support reuse and configurability in an effective way. This problem can be addressed by augmenting OO analysis and design ...
NN
2008
Springer
15 years 1 months ago
2008
Springer
MIIND (Multiple Interacting Instantiations of Neural Dynamics) is a highly modular multi-level C++ framework, that aims to shorten the development time for models in Cognitive Neu...