328 search results - page 2 / 66 » Simple Termination Revisited |
CORR
2007
Springer
13 years 4 months ago
2007
Springer
Screen readers can drive braille devices for allowing visually impaired users to access computer environments, by providing them the same information as sighted users. But in some...
WOWMOM
2005
ACM
13 years 10 months ago
2005
ACM
IEEE 802.11 Medium Access Control (MAC) called Distributed Coordination Function (DCF) provides two different access modes, namely, 2-way (basic access) and 4-way (RTS/CTS) hands...
WPES
2006
ACM
13 years 11 months ago
2006
ACM
According to a famous study [10] of the 1990 census data, 87% of the US population can be uniquely identified by gender, ZIP code and full date of birth. This short paper revisit...
LPAR
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The Description Logics underpinning OWL impose a well-known syntactic restriction in order to preserve decidability: they do not allow to use nonsimple roles—that is, t...
MFCS
2010
Springer
13 years 3 months ago
2010
Springer
We prove that coverability and termination are not primitive-recursive for lossy counter machines and for Reset Petri nets.