4151 search results - page 271 / 831 » Language Driven System Design |
120
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
Most hardware description languages do not enforce determinacy, meaning that they may yield races. Race conditions pose a problem for the implementation, verification, and validat...
152
Voted
CAISE
2000
Springer
15 years 8 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
138
click to vote
UM
2001
Springer
15 years 8 months ago
2001
Springer
Unambiguously, adaptive systems have to be evaluated empirically to guarantee that the adaptivity really works. Nevertheless, only few of the existing adaptive systems have been ev...
235
Voted
ECOOP
2005
Springer
15 years 9 months ago
2005
Springer
Software modeling has received a lot a of attention in the last decade and now is an important support for the design process. Actually, the design process is very important to the...
157
click to vote
PADL
2004
Springer
15 years 9 months ago
2004
Springer
We present a system (ASP − PROLOG) which provides a tight and well-defined integration of Prolog and Answer Set Programming (ASP). The combined system enhances the expressive po...