208 search results - page 7 / 42 » Numeration Systems: A Link between Number Theory and Formal ... |
PLSA
1994
14 years 19 days ago
1994
Computer language paradigms offer linguistic abstractions and proof theories for expressing program implementations. Similarly, system architectures offer the hardware abstractions...
TSE
2008
13 years 8 months ago
2008
This paper presents CMOD, a novel tool that provides a sound module system for C. CMOD works by enforcing a set of four rules that are based on principles of modular reasoning and...
CONTEXT
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. In a previous paper, we proposed a first formal and conceptual comparison between the two most important formalizations of context in AI: Propositional Logic of Context ...
SIGMOD
2008
ACM
14 years 8 months ago
2008
ACM
We present SchemaScope, a system to derive Document Type Definitions and XML Schemas from corpora of sample XML documents. Tools are provided to visualize, clean, and refine exist...
ICSE
1994
IEEE-ACM
14 years 20 days ago
1994
IEEE-ACM
As software systems become more complex the overall system structure { or software architecture { becomes a central design problem. An important step towards an engineering discip...