Sciweavers

7861 search results - page 370 / 1573
» Orthographic Modeling Environment
Sort
View
ATAL
2006
Springer
15 years 10 months ago
Run-time model checking of interaction and deontic models for multi-agent systems
This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bdi logic. ...
Nardine Osman, David Robertson, Christopher Walton
232
Voted
EDOC
2003
IEEE
16 years 20 hour ago
Model Driven Security: Unification of Authorization Models for Fine-Grain Access Control
The research vision of the Unified Component Meta Model Framework (UniFrame) is to develop an infrastructure for components that enables a plug and play component environment wher...
Carol C. Burt, Barrett R. Bryant, Rajeev R. Raje, ...

Publication
258views
15 years 3 months ago
iModel: Interactive Co-segmentation for Object of Interest 3D Modeling
We present an interactive system to create 3D models of objects of interest in their natural cluttered environments. A typical setting for 3D modeling of an object of interest invo...
Adarsh Kowdle, Wen-Chao Chen, Dhruv Batra, Tsuhan ...
VLDB
1995
ACM
59views Database» more  VLDB 1995»
15 years 10 months ago
Towards a Cooperative Transaction Model - The Cooperative Activity Model
With the emergence of cooperative applications it turned out that traditional transaction concepts are not suitable for these scenarios. Isolation of transactions, as guaranteed b...
Marek Rusinkiewicz, Wolfgang Klas, Thomas Tesch, J...
DAC
2003
ACM
16 years 7 months ago
Optimizations for a simulator construction system supporting reusable components
Exploring a large portion of the microprocessor design space requires the rapid development of efficient simulators. While some systems support rapid model development through the...
David A. Penry, David I. August