Sciweavers

3581 search results - page 506 / 717
» Modeling the Internet
Sort
View
AMT
2001
Springer
191views Multimedia» more  AMT 2001»
15 years 10 months ago
An Authoring Tool for Building Adaptive Learning Guidance Systems on the Web
In the field of guided learning on the Internet we present, in this paper, an interactive tool for designing intelligent tutoring systems on the web. Our tool makes easier the crea...
José Antonio Macías Iglesias, Pablo ...
MMMACNS
2001
Springer
15 years 10 months ago
Analyzing Separation of Duties in Petri Net Workflows
Abstract. With the rise of global networks like the Internet the importance of workflow systems is growing. However, security questions in such environments often only address secu...
Konstantin Knorr, Harald Weidner
UML
2001
Springer
15 years 10 months ago
Using Alloy and UML/OCL to Specify Run-Time Configuration Management: A Case Study
: There are many different ways to specify the requirements of complex software systems, and the optimal methods often vary according to the problem domain. We apply and compare tw...
Geri Georg, Jores Bieman, Robert B. France
ICCAD
2000
IEEE
149views Hardware» more  ICCAD 2000»
15 years 10 months ago
Dynamic Response Time Optimization for SDF Graphs
Synchronous Data Flow (SDF) is a well-known model of computation that is widely used in the control engineering and digital signal processing domains. Existing scheduling methods ...
Dirk Ziegenbein, Jan Uerpmann, Ralph Ernst
IV
2000
IEEE
95views Visualization» more  IV 2000»
15 years 10 months ago
An Information Database for VRML Cities
A system is presented to visualize information about city with a three-dimensional web user interface. We present a novel way to connect a VRML world to an information database. A...
Arttu Heinonen, Simo Pulkkinen, Ismo Rakkolainen