2452 search results - page 141 / 491 » The Case for Precision Sharing |
193
click to vote
FORMATS
2004
Springer
16 years 29 days ago
2004
Springer
We study the model-checking problem for weighted timed automata and the weighted CTL logic by the bisimulation approach. Weighted timed automata are timed automata extended with co...
223
click to vote
CSL
2003
Springer
16 years 24 days ago
2003
Springer
For a fixed countable homogeneous relational structure Γ we study the computational problem whether a given finite structure of the same signature homomorphically maps to Γ. T...
161
click to vote
DIGRA
2003
Springer
16 years 24 days ago
2003
Springer
What are the exact aspects of the videogame medium, the precise features or combinations of features that lend themselves to expressing ideas and meaning? To chart this out, I beg...
175
click to vote
MSR
2010
ACM
16 years 19 days ago
2010
ACM
—The severity of a reported bug is a critical factor in deciding how soon it needs to be fixed. Unfortunately, while clear guidelines exist on how to assign the severity of a bu...
206
click to vote
ISIPTA
1999
IEEE
15 years 12 months ago
1999
IEEE
The paper summarizes the author's experience in dealing with the Dempster-Shafer theory relating to reliability assessments and demonstrates how to make component and system ...