Sciweavers

3575 search results - page 128 / 715
» Presentations of computably enumerable reals
Sort
View
DSRT
2003
IEEE
15 years 11 months ago
Real Time Inspection of Hidden Worlds
“Smart Things” are commonly understood as wireless ad-hoc networked, mobile, autonomous, special purpose computing appliances, usually interacting with their environment impli...
Alois Ferscha, Markus Keller
ENTCS
2007
158views more  ENTCS 2007»
15 years 6 months ago
Abstraction and Completeness for Real-Time Maude
ion and Completeness for Real-Time Maude Peter Csaba ¨Olveczky a,b and Jos´e Meseguer b a Department of Informatics, University of Oslo b Department of Computer Science, Universi...
Peter Csaba Ölveczky, José Meseguer
ISORC
2008
IEEE
16 years 22 days ago
A Real-Time Java Component Model
The Real-Time Specification for Java (RTSJ) [10] is becoming a popular choice in the world of real-time programming. However, the complexities introduced by RTSJ bring the needs ...
Ales Plsek, Philippe Merle, Lionel Seinturier
HAPTICS
2007
IEEE
16 years 20 days ago
Discriminability of Real and Virtual Surfaces with Triangular Gratings
Human sensitivity to height differences in textured surfaces is on the order of microns. Research on human texture perception requires texture samples with precisely controlled mi...
Matthew Kocsis, Hong Z. Tan, Bernard D. Adelstein
ATAL
2008
Springer
15 years 8 months ago
Evaluating the performance of DCOP algorithms in a real world, dynamic problem
Complete algorithms have been proposed to solve problems modelled as distributed constraint optimization (DCOP). However, there are only few attempts to address real world scenari...
Robert Junges, Ana L. C. Bazzan