Sciweavers

2830 search results - page 232 / 566
» A Development Tool for E-learning Applications
Sort
View
WWW
2001
ACM
15 years 12 months ago
Object-Z web environment and projections to UML
This paper presents the XML/XSL approach to the development of a web environment for the formal speci cation language Object-Z. The projection techniques and tools from Object-Z (...
Jing Sun, Jin Song Dong, Jing Liu, Hai H. Wang
ICDE
2006
IEEE
122views Database» more  ICDE 2006»
15 years 5 months ago
Pragmatics and Open Problems for Inter-schema Constraint Theory
We consider pragmatic issues in applying constraint-based theories (such as that developed for data exchange) to a variety of problems. We identify disconnects between theoreticia...
Arnon Rosenthal, Leonard J. Seligman
WORDS
2002
IEEE
15 years 4 months ago
Evaluating UMl Extensions for Modeling Real-Time Systems
Rather recently object-oriented modeling languages, tools, and methods attract the interest of embedded (realtime) system developers. This is especially true if embedded (real-tim...
Lutz Bichler, Ansgar Radermacher, Andy Schürr
PVM
2001
Springer
15 years 3 months ago
Dynamic Process Management in KSIX Cluster Middleware
Dynamic process management is a much-needed feature for applications and tools development in Beowulf cluster environment. A welldefined and efficient dynamic process management in...
Thara Angskun, Putchong Uthayopas, Arnon Rungsawan...
HPDC
1996
IEEE
15 years 3 months ago
Collecting and Modeling the Join/Leave Behavior of Multicast Group Members in the MBone
One purpose of the MBone is to study the performance of multicast and real-time protocols in global conferencing applications. Part of this evaluation is dependent on understandin...
Kevin C. Almeroth, Mostafa H. Ammar