Sciweavers

5634 search results - page 110 / 1127
» About Abstract Classes
Sort
View
EDUTAINMENT
2007
Springer
15 years 5 months ago
Teaching Structured Development of Virtual Reality Systems Using P-VoT
Learning to build and test virtual reality (VR) systems is difficult due to the many required knowledge (e.g. computer graphics, sound processing, simulation, interaction, etc.) an...
Jinseok Seo, Gerard Jounghyun Kim
WDAG
2010
Springer
196views Algorithms» more  WDAG 2010»
14 years 9 months ago
Brief Announcement: Failure Detectors Encapsulate Fairness
Abstract. We argue that failure detectors encapsulate fairness. Fairness is a measure of the number of steps a process takes relative to another processes and/or messages in transi...
Scott M. Pike, Srikanth Sastry, Jennifer L. Welch
ECOOP
2004
Springer
15 years 2 months ago
Programming with Crosscutting Effective Views
Abstract. Aspect-oriented systems claim to improve modularity by providing explicit mechanisms that allow modularization of concerns which crosscut the object-oriented decompositio...
Doug Janzen, Kris De Volder
EUSFLAT
2009
166views Fuzzy Logic» more  EUSFLAT 2009»
14 years 9 months ago
Approximations by Interval, Triangular and Trapezoidal Fuzzy Numbers
Abstract-- Recently, many scholars investigated interval, triangular, and trapezoidal approximations of fuzzy numbers. These researches can be grouped into two classes: the Euclide...
Chi-Tsuen Yeh
ESOP
2008
Springer
15 years 26 days ago
Verification of Higher-Order Computation: A Game-Semantic Approach
Abstract. We survey recent developments in an approach to the verification of higher-order computation based on game semantics. Higherorder recursion schemes are in essence (progra...
C.-H. Luke Ong