4257 search results - page 19 / 852 » The Logical Modularity of Programs |
ICLP
2009
Springer
14 years 9 months ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...
ERSHOV
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Data privacy is an important application of ontology modularization. The aim is to publish one module while keeping the information of another module private. We show how...
CSL
2005
Springer
14 years 2 months ago
2005
Springer
We show that the modular decomposition of a countable graph can be defined from this graph, given with an enumeration of its set of vertices, by formulas of Monadic Second-Order l...
ESOP
2005
Springer
14 years 2 months ago
2005
Springer
Additional Key Words and Phrases: program analysis, modular arithmetic, abstract interpretation, affine relation, interprocedural analysis
DLOG
2006
13 years 10 months ago
2006
Modularity and rigor are two key elements for multi-agent technology. Hong Zhu's multi-agent system (MAS) development method provides proper language facilities supporting mo...