Sciweavers

11151 search results - page 389 / 2231
» On the Complexity of Model Expansion
Sort
View
AGENTCL
2000
Springer
15 years 12 months ago
Using Colored Petri Nets for Conversation Modeling
Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational mod...
R. Scott Cost, Ye Chen, Timothy W. Finin, Yannis L...
DATE
2010
IEEE
168views Hardware» more  DATE 2010»
15 years 12 months ago
Verifying UML/OCL models using Boolean satisfiability
Abstract--Nowadays, modeling languages like UML are essential in the design of complex software systems and also start to enter the domain of hardware and hardware/software codesig...
Mathias Soeken, Robert Wille, Mirco Kuhlmann, Mart...
CRYPTO
1999
Springer
103views Cryptology» more  CRYPTO 1999»
15 years 12 months ago
Information Theoretically Secure Communication in the Limited Storage Space Model
Abstract. We provide a simple secret-key two-party secure communication scheme, which is provably information-theoretically secure in the limited-storage-space model. The limited-s...
Yonatan Aumann, Michael O. Rabin
ICRA
1998
IEEE
154views Robotics» more  ICRA 1998»
15 years 12 months ago
Vibration Feedback Models for Virtual Environments
Vibrations can significantly enhance touch perception for virtual environment applications with minimal design complexity and cost. In order to create realistic vibrotactile feedb...
Allison M. Okamura, Stanford Dennerlein, Robert D....
3DPVT
2006
IEEE
216views Visualization» more  3DPVT 2006»
15 years 11 months ago
Object Modeling with Guaranteed Fulfillment of Geometric Constraints
Object modeling under consideration of geometric constraints is an important task. In this paper we describe a novel approach to achieving this goal. It has the nice property that...
Da-Chuan Cheng, Xiaoyi Jiang