766 search results - page 113 / 154 » How to Read a Signature |
FSTTCS
2006
Springer
14 years 14 days ago
2006
Springer
This paper presents a construction for runtime monitors that check real-time properties expressed in timed LTL (TLTL). Due to D'Souza's results, TLTL can be considered a ...
RTCSA
2000
IEEE
14 years 11 days ago
2000
IEEE
A space efficient wait-free algorithm for implementing a shared buffer for real-time multiprocessor systems is presented in this paper. The commonly used method to implement share...
FLAIRS
2010
13 years 11 months ago
2010
MiBoard (Multiplayer Interactive Board Game) is an online, turnbased board game that was developed to assess the integration of game characteristics (point rewards, game-like inte...
ASPDAC
2008
ACM
13 years 10 months ago
2008
ACM
- With the increasing levels of variability in the behavior of manufactured nano-scale devices and dramatic changes in the power density on a chip, timely identification of hot spo...
DOCENG
2008
ACM
13 years 10 months ago
2008
ACM
In this paper we investigate the main linguistic phenomena that can make texts complex and how they could be simplified. We focus on a corpus analysis of simple account texts avai...