Sciweavers

4348 search results - page 410 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
WSC
1998
15 years 8 months ago
TAYLOR II Manufacturing Simulation Software
Taylor II is a menu-driven simulation package mainly used in manufacturing, warehousing, and material handling. It is developed for the analysis and quantitative evaluation of com...
William B. Nordgren
IJIS
2002
79views more  IJIS 2002»
15 years 6 months ago
Formal semantics of meta-level architectures: Dynamic control of reasoning
Meta-level architectures for dynamic control of reasoning processes are quite powerful. In the literature many applications in reasoning systems modelling complex tasks are descri...
Jan Treur
HICSS
1998
IEEE
128views Biometrics» more  HICSS 1998»
15 years 11 months ago
A Situation Calculus Model of Hypertext
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
Richard B. Scherl, Michael Bieber, Fabio Vitali
ENTCS
2008
175views more  ENTCS 2008»
15 years 6 months ago
AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System
A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, programming a...
Cezara Dragoi, Gheorghe Stefanescu
NAACL
2003
15 years 8 months ago
Automatic Extraction of Semantic Networks from Text using Leximancer
Leximancer is a software system for performing conceptual analysis of text data in a largely language independent manner. The system is modelled on Content Analysis and provides u...
Andrew E. Smith