4151 search results - page 271 / 831 » Language Driven System Design |
158
click to vote
DATE
2006
IEEE
16 years 19 days 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...
196
click to vote
CAISE
2000
Springer
15 years 11 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...
179
click to vote
UM
2001
Springer
15 years 11 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...
267
click to vote
ECOOP
2005
Springer
16 years 3 days 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...
200
click to vote
PADL
2004
Springer
15 years 12 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...