4257 search results - page 104 / 852 » The Logical Modularity of Programs |
165
Voted
AGTIVE
2007
Springer
15 years 11 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...
125
Voted
APLAS
2004
ACM
15 years 10 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...
178
Voted
AOSD
2003
ACM
15 years 10 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...
102
Voted
PG
2003
IEEE
15 years 10 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...
125
click to vote
ICLP
2007
Springer
15 years 11 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.