Sciweavers

1949 search results - page 18 / 390
» Protective Interface Specifications
Sort
View
ENTCS
2006
140views more  ENTCS 2006»
13 years 7 months ago
An Aspect-Oriented Approach to Modular Behavioral Specification
Behavioral interface specification languages, such as Java Modeling Language (JML), can be used to specify the behavior of program modules. We have developed a behavioral interfac...
Kiyoshi Yamada, Takuo Watanabe
ICFEM
1998
Springer
13 years 11 months ago
Formal Specification of CORBA Services Using Object-Z
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
Detlef Kreuz
HRI
2006
ACM
14 years 1 months ago
Usability evaluation of an automated mission repair mechanism for mobile robot mission specification
This paper describes a usability study designed to assess ease of use, user satisfaction, and performance of a mobile robot mission specification system. The software under consid...
Lilia Moshkina, Yoichiro Endo, Ronald C. Arkin
CCS
2001
ACM
14 years 1 days ago
Secure Open Systems for Protecting Privacy and Digital Services
This paper describes and analyzes a system architecture that enables consumers to access services and content from multiple providers without jeopardizing the privacy interests of...
David W. Kravitz, Kim-Ee Yeoh, Nicol So
GRAPHICSINTERFACE
2003
13 years 9 months ago
A Tangible Interface for High-Level Direction of Multiple Animated Characters
Many training, education, and visualization environments would benefit from realistic animated characters. Unfortunately, interfaces for character motion specification are often c...
Ronald A. Metoyer, Lanyue Xu, Madhusudhanan Sriniv...