Sciweavers

1614 search results - page 12 / 323
» On relational interfaces
Sort
View
FM
2006
Springer
113views Formal Methods» more  FM 2006»
14 years 1 months ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
DBA
2006
232views Database» more  DBA 2006»
13 years 11 months ago
Architecture and Interface of Scalable Distributed Database System SD-SQL Server
We present a scalable distributed database system SD-SQL Server. Its original feature is the scalable distributed partitioning of its relational tables. The system dynamically dist...
Witold Litwin, Soror Sahri, Thomas J. E. Schwarz
HAPTICS
2005
IEEE
14 years 3 months ago
Friction Modeling and Compensation for Haptic Interfaces
Friction cancellation and high gain force feedback are studied for their relative benefits in mitigating the effects of friction in haptic interfaces. Although either technique a...
Nicholas L. Bernstein, Dale A. Lawrence, Lucy Y. P...
ECOOP
1995
Springer
14 years 1 months ago
Interface-Based Protocol Specification of Open Systems using PSL
PSL is a framework for describing dynamic and architectural properties of open systems. PSL extends established interface-based tactics for describing the functional properties of...
Doug Lea, Jos Marlowe
APSEC
2002
IEEE
14 years 2 months ago
Tool Interfacing Mechanisms for Programming-for-the-Large and Programming-for-the-Small
Software development needs to be supported at both the organisational process level (programming-for-thelarge) and the detailed coding level (programming-for-thesmall). It is crit...
Yun Yang