2763 search results - page 89 / 553 » The Dangerous 'All' in Specifications |
WSC
1998
13 years 10 months ago
1998
The article deals with the development of simulation models for the semiconductor industry at the Technical University of Ilmenau. Hereby, the main focus is set on the development...
ACTA
2010
13 years 9 months ago
2010
The IEEE standardized Property Specification Language, PSL for short, extends the well-known linear-time temporal logic LTL with so-called semi-extended regular expressions. PSL an...
JUCS
2008
13 years 9 months ago
2008
: We propose specification of schema mappings and agents' actions in XML data integration task. We discuss the problem in a highly-dynamic environment consisting of a communit...
CG
2005
Springer
13 years 9 months ago
2005
Springer
Sketch recognition systems are currently being developed for many domains, but can be time consuming to build if they are to handle the intricacies of each domain. In order to aid...
JUCS
2007
13 years 9 months ago
2007
: The modelling of educational processes and their operational support is a key aspect in the construction of more effective e-learning applications. Instructional models are usual...