Sciweavers

4096 search results - page 321 / 820
» An Object Model for Interoperable Systems
Sort
View
WSC
2008
15 years 9 months ago
Models of a predator-prey relationship in a closed habitat
The ecological study of the wolf and moose populations of Isle Royale National Park (USA) is the longest running large mammal predator/prey study in the world. A discrete event si...
Charles E. Knadler Jr.
VVEIS
2008
15 years 8 months ago
An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving
This paper presents an executable semantics of OO models. We made it possible to conduct both simulation and theorem proving on the semantics by implementing its underlying heap me...
Kenro Yatake, Takuya Katayama
OOPSLA
2001
Springer
15 years 11 months ago
Portable Resource Control in Java: The J-SEAL2 Approach
Preventing abusive resource consumption is indispensable for all kinds of systems that execute untrusted mobile code, such as mobile object systems, extensible web servers, and we...
Walter Binder, Jarle Hulaas, Alex Villazón
TOG
2002
135views more  TOG 2002»
15 years 6 months ago
WYSIWYG NPR: drawing strokes directly on 3D models
We present a system that lets a designer directly annotate a 3D model with strokes, imparting a personal aesthetic to the non-photorealistic rendering of the object. The artist ch...
Robert D. Kalnins, Lee Markosian, Barbara J. Meier...
MODELS
2007
Springer
16 years 22 days ago
A Metamodel-Based Approach for Analyzing Security-Design Models
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
David A. Basin, Manuel Clavel, Jürgen Doser, ...