Sciweavers

1027 search results - page 104 / 206
» A Model for Java with Wildcards
Sort
View
120
Voted
CHI
2002
ACM
16 years 4 months ago
Sketching annotations in a 3D web environment
Collaborative design review is an important part of architectural design work. The Space Pen system supports annotation and drawing on (and inside) 3D VRML/Java models using a reg...
Thomas Jung, Mark D. Gross, Ellen Yi-Luen Do
117
Voted
AP2PC
2003
Springer
15 years 8 months ago
A Robust and Scalable Peer-to-Peer Gossiping Protocol
Abstract. The newscast model is a general approach for communication in large agent-based distributed systems. The two basic services— membership management and information disse...
Spyros Voulgaris, Márk Jelasity, Maarten va...
UML
2001
Springer
15 years 8 months ago
Conformance Testing from UML Specifications. Experience Report
: UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML). TGV is a tool for the generation of conforma...
Lydie du Bousquet, Hugues Martin, Jean-Marc J&eacu...
116
Voted
ESORICS
2006
Springer
15 years 7 months ago
Discretionary Capability Confinement
Motivated by the need of application-level access control in dynamically extensible systems, this work proposes a static annotation system for modeling capabilies in a Java-like pr...
Philip W. L. Fong
AMAST
2008
Springer
15 years 5 months ago
Implementing a Categorical Information System
The authors have proposed using category-theoretic sketches to enhance database design and integration methodologies. The algebraic context is called the Sketch Data Model (SkDM) a...
Michael Johnson, Robert D. Rosebrugh