1052 search results - page 105 / 211 » The Regular Real-Time Languages |
133
click to vote
ASPDAC
2005
ACM
15 years 5 months ago
2005
ACM
– Clocking is an essential component of any embedded system design. However, traditional design techniques are either short of clocking support or too complex for users. The Unif...
169
click to vote
CATA
2006
15 years 5 months ago
2006
This paper introduces a real time human hand simulation system. A lifelike hand model is constructed and some of the human hand constraints are applied to it. Natural hand gesture...
138
click to vote
GIS
2002
ACM
15 years 3 months ago
2002
ACM
The paper describes how the Web can be used as a support for intensive querying and display of large moving objects databases. We present first an architecture for a system which ...
127
Voted
COMPSAC
2010
IEEE
15 years 1 months ago
2010
IEEE
We present a pattern-based method to express time specifications in the language TLA+ . A real-time module RealTimeNew is introduced to encapsulate the definitions of commonly used...
169
click to vote
ODBIS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. RDF Schema (RDFS) extends RDF with a schema vocabulary with a predefined semantics. Evaluating queries which involve this vocabulary is challenging, and there is not yet...