2859 search results - page 331 / 572 » A Programming Environment for Bousi-Prolog |
269
click to vote
ECOOP
2005
Springer
16 years 5 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...
174
click to vote
ASM
2004
ASM
16 years 1 days ago
2004
ASM
For a while it seemed possible to pretend that all interaction between an algorithm and its environment occurs inter-step, but not anymore. Andreas Blass, Benjamin Rossman and the ...
180
click to vote
CAISE
2004
Springer
16 years 1 days ago
2004
Springer
Advanced Business Process Management (BPM) tools enable the decomposition of previously integrated and often ill-defined processes into reusable process modules. These process modu...
149
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
Research in multi-agent systems has led to the development of many multi-agent control architectures. However, we believe that there is currently no known optimal structure for mu...
202
Voted
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...