Sciweavers

4151 search results - page 628 / 831
» Language Driven System Design
Sort
View
VL
2002
IEEE
144views Visual Languages» more  VL 2002»
15 years 12 months ago
Interactive Visualization of Java Programs
The design and implementation of a novel visual interactive execution environment for Java is described. This system displays both the run-time object structure as well as the int...
Paul V. Gestwicki, Bharat Jayaraman
188
Voted
VL
2002
IEEE
128views Visual Languages» more  VL 2002»
15 years 12 months ago
Dynamic Layout Management in a Multimedia Bulletin Board
This paper proposes a novel user interface to manage the dynamic layout of multimedia objects in the Multimedia Bulletin Board (MBB) system. The MBB has been designed and implemen...
Hyunmo Kang, Ben Shneiderman, Gregory J. Wolff
ER
2001
Springer
163views Database» more  ER 2001»
15 years 11 months ago
Towards Ontologically Based Semantics for UML Constructs
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
Joerg Evermann, Yair Wand
ESOP
2001
Springer
15 years 11 months ago
What Are Polymorphically-Typed Ambients?
The Ambient Calculus was developed by Cardelli and Gordon as a formal framework to study issues of mobility and migrant code [CG98]. We consider an Ambient Calculus where ambients...
Torben Amtoft, A. J. Kfoury, Santiago M. Peric&aac...
ICICS
2001
Springer
15 years 11 months ago
Enforcing Obligation with Security Monitors
With the ubiquitous deployment of large scale networks more and more complex human interactions are supported by computer applications. This poses new challenges on the expressive...
Carlos Ribeiro, Andre Zuquete, Paulo Ferreira