1895 search results - page 116 / 379 » Modular Functional Descriptions |
FM
2003
Springer
14 years 1 months ago
2003
Springer
We present a novel application on model checking through SPIN as a means for verifying purely descriptive specifications written in TRIO, a first order, linear-time temporal logic ...
IPPS
1998
IEEE
14 years 4 days ago
1998
IEEE
This paper shows how parallelism has been integrated into SCOOP, a C++ class library for solving optimisation problems. After a description of the modeling and the optimisation par...
GLDV
2001
13 years 9 months ago
2001
The advantages of a hypermedia learning system are the possibility to adapt the content to the learner and to maintain the content easily due to the modular structure. The disadva...
WIIW
2001
13 years 9 months ago
2001
The proposed integration architecture aims at exploiting data semantics in order to provide a coherent and meaningful (with respect to a given conceptual model) view of the integra...
LISA
1994
13 years 9 months ago
1994
This paper presents a machine configuration system which stores all configuration parameters in a central ``database''. The system is dynamic in the sense that machines ...