9873 search results - page 1830 / 1975 » Emergent Semantics Systems |
127
Voted
IWNAS
2008
IEEE
15 years 10 months ago
2008
IEEE
With the increased popularity of replica-based services in distributed systems such as the Grid, consistency control among replicas becomes more and more important. To this end, I...
125
Voted
QEST
2008
IEEE
15 years 10 months ago
2008
IEEE
We present Hintikka games for formulae of the probabilistic temporal logic PCTL and countable labeled Markov chains as models, giving an operational account of the denotational se...
142
click to vote
RTAS
2008
IEEE
15 years 10 months ago
2008
IEEE
A fundamental asset of a model-based development process is the capability of providing an automatic implementation of the model that preserves its semantics and, at the same time...
117
click to vote
SEMCO
2008
IEEE
15 years 10 months ago
2008
IEEE
Gesture interfaces are needed for natural intuitive communication with machine devices. Hand gesture intuitiveness is the cognitive association between a command or intent, and it...
120
Voted
WCRE
2008
IEEE
15 years 10 months ago
2008
IEEE
Software visualizations can provide a concise overview of a complex software system. Unfortunately, since software has no physical shape, there is no “natural” mapping of soft...