1715 search results - page 158 / 343 » How Space Structures Language |
171
click to vote
ICCD
1992
IEEE
15 years 7 months ago
1992
IEEE
Current synthesis methodologies based on hardwaredescription languages focus mainly on two distinct levels: behavior and register-transfer levels. In many practical cases, however...
157
Voted
GVD
2000
15 years 4 months ago
2000
In this paper we propose a meta-modeling approach to adaptive knowledge management. It extends previous work by introducing an application-specific layer which allows to specify m...
131
click to vote
AI
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. This paper overviews our currently in progress agent communication language simulator, called DIAGAL, by describing its use in analyzing and modelling automated conversat...
106
Voted
PLDI
2010
ACM
16 years 25 days ago
2010
ACM
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. To integrate synthesis into programming languages, synthesis algor...
126
Voted
ECOOP
2000
Springer
15 years 7 months ago
2000
Springer
The Unified Modeling Language (UML) currently proposes a mechanism to model recurrent design structures: the parameterized collaborations. The main goal of this mechanism is to mo...