Sciweavers

1949 search results - page 6 / 390
» Protective Interface Specifications
Sort
View
POPL
2005
ACM
14 years 7 months ago
Synthesis of interface specifications for Java classes
While a typical software component has a clearly specified (static) interface in terms of the methods and the input/output types they support, information about the correct sequen...
P. Madhusudan, Pavol Cerný, Rajeev Alur, Wo...
AIED
2009
Springer
14 years 2 months ago
The Extensible Problem-Specific Tutor (xPST): Evaluation of an API for Tutoring on Existing Interfaces
The Extensible Problem-Specific Tutor (xPST) system was created to facilitate the creation of intelligent tutoring systems (ITSs) on existing software and web-based interfaces. Thi...
Stephen B. Gilbert, Stephen Blessing, Sateesh Koda...
ICCAD
2002
IEEE
124views Hardware» more  ICCAD 2002»
14 years 4 months ago
Interface specification for reconfigurable components
This paper presents a way of encoding some kinds of dynamic reconfiguration behaviour in the interface portion of circuit descriptions. This has many advantages. The user of a rec...
Satnam Singh
ICYCS
2008
IEEE
14 years 1 months ago
Sound-Specific Vibration Interface: Its Performance of Tactile Effects and Applications
The tactile effects of a sound-specific vibration interface is presented in this paper. The sound-specific vibration interface generates a vibration according to a sound stream us...
Yonghee You, Hwanmun Lee, Mee Young Sung, Kyungkoo...
EUC
2006
Springer
13 years 11 months ago
Automatic Generation of Hardware/Software Interface with Product-Specific Debugging Tools
Software programmers want to manage pure software, not hardware-software entanglements. Unfortunately, traditional development methodologies cannot clearly separate hardware and so...
Jeong-Han Yun, Gunwoo Kim, Choonho Son, Taisook Ha...