3937 search results - page 447 / 788 » Questioning Ubiquitous Computing |
145
click to vote
MFCS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. We define the notion of height-deterministic pushdown automata, a model where for any given input string the stack heights during any (nondeterministic) computation on t...
182
click to vote
TABLEAUX
2007
Springer
16 years 24 days ago
2007
Springer
Axiom pinpointing has been introduced in description logics (DLs) to help the user to understand the reasons why consequences hold and to remove unwanted consequences by computing ...
148
click to vote
CW
2006
IEEE
16 years 22 days ago
2006
IEEE
Despite its history of several decades and impressive achievements, developing a VR application is still a complex task. Setting-up a Virtual Environment requires choosing a suita...
156
click to vote
SAC
2006
ACM
16 years 19 days ago
2006
ACM
With the growing importance of enterprise architecture the discussion about how to create or choose the right enterprise architecture framework for a specific organization arose q...
198
click to vote
ICDCSW
2005
IEEE
16 years 8 days ago
2005
IEEE
Theorists and practitioners have fairly different perspectives on how wireless broadcast works. Theorists think about synchrony; practitioners think about backoff. Theorists assum...