4963 search results - page 778 / 993 » Implementing a Categorical Information System |
192
click to vote
GPCE
2005
Springer
16 years 23 days ago
2005
Springer
Abstract. In meta programming with concrete object syntax, object-level programs are composed from fragments written in concrete syntax. The use of small program fragments in such ...
178
click to vote
ISMIR
2005
Springer
16 years 22 days ago
2005
Springer
For melodic theme retrieval there is a fundamental tradeoff between retrieval performance and retrieval speed. Melodic representations of large dimension yield the best retrieval ...
177
click to vote
ISW
2005
Springer
16 years 22 days ago
2005
Springer
We present a model-checking algorithm which can be used to evaluate access control policies, and a tool which implements it. The evaluation includes not only assessing whether the ...
242
click to vote
MIDDLEWARE
2005
Springer
16 years 22 days ago
2005
Springer
Pervasive and ad hoc computing applications are frequently deployed in dynamic networks. Due to mobility of the computing nodes, their unreliability, or a limited communication ra...
188
click to vote
APLAS
2004
ACM
16 years 20 days ago
2004
ACM
In safety-critical and high-reliability systems, software development and maintenance are costly endeavors. The cost can be reduced if software errors can be identified through au...