4257 search results - page 104 / 852 » The Logical Modularity of Programs |
137
Voted
AGTIVE
2007
Springer
15 years 8 months ago
2007
Springer
In this article, we propose to use the Discrete EVent system Specification (DEVS) formalism to describe and execute graph transformation control structures. We provide a short rev...
102
Voted
APLAS
2004
ACM
15 years 8 months ago
2004
ACM
Modular programming enjoys many well-known advantages: readability, maintainability, separate development and compilation. However, the composition of modular units (components) s...
157
Voted
AOSD
2003
ACM
15 years 7 months ago
2003
ACM
Middleware technologies such as Web Services, CORBA and DCOM have been very successful in solving distributed computing problems for a large family of application domains. As midd...
80
Voted
PG
2003
IEEE
15 years 8 months ago
2003
IEEE
The notable amount and variation of current techniques in non-photorealistic rendering (NPR) indicates a level of maturity whereby the categorization of algorithms has become poss...
110
Voted
ICLP
2007
Springer
15 years 8 months ago
2007
Springer
This note provides background information and references to the tutorial on recent research developments in logic programming inspired by need of knowledge representation.