860 search results - page 96 / 172 » A Process Algebra Based Verification of a Production System |
CSREAESA
2008
13 years 10 months ago
2008
To deal with the increasing complexity of embedded real-time systems the model-driven development approach has proven to be beneficial. The reduction of complexity achieved by the ...
IJAR
1998
13 years 8 months ago
1998
The objective of multi-site scheduling is to support the scheduling activities of a global scheduler and schedulers in distributed production plants in a cooperative way. A global...
IJCNLP
2004
Springer
14 years 2 months ago
2004
Springer
Transliterating words and names from one language to another is a frequent and highly productive phenomenon. Transliteration is information loosing since important distinctions ar...
ICLP
2003
Springer
14 years 2 months ago
2003
Springer
Concurrent constraint programming (ccp) is a model of concurrency for systems in which agents (also called processes) interact with one another by telling and asking information in...
AINA
2008
IEEE
13 years 11 months ago
2008
IEEE
The evolution of any software product over its lifetime is unavoidable, caused both by bugs to be fixed and by new requirements appearing in the later stages of the product's...