Sciweavers

1527 search results - page 141 / 306
» What About Wednesday
Sort
View
SAC
2006
ACM
14 years 4 months ago
Extending noninterference properties to the timed world
Most previous work on information flow in process algebras has been based on untimed models of concurrency. It is obvious, however, that an observer might well use time to gain i...
Jian Huang, A. W. Roscoe
SAC
2006
ACM
14 years 4 months ago
A dialogue on responsibility, moral agency, and IT systems
The dialogue that follows was written to express some of our ideas and remaining questions about IT systems, moral agency, and responsibility. We seem to have made some progress o...
Deborah G. Johnson, Keith W. Miller
ASWEC
2005
IEEE
14 years 4 months ago
Detecting Indirect Coupling
Coupling is considered by many to be an important concept in measuring design quality. There is still much to be learned about which aspects of coupling affect design quality or o...
Hong Yul Yang, Ewan D. Tempero, Rebecca Berrigan
ISCAS
2005
IEEE
112views Hardware» more  ISCAS 2005»
14 years 4 months ago
Baseball event detection using game-specific feature sets and rules
—A framework for scrutinizing baseball videos is proposed. By applying the well-defined baseball rules, this work exactly identifies what happens in a game rather than roughly fi...
Chih-Hao Liang, Wei-Ta Chu, Jin-Hau Kuo, Ja-Ling W...
ISIPTA
2005
IEEE
119views Mathematics» more  ISIPTA 2005»
14 years 4 months ago
Ordinal Subjective Foundations for Finite-domain Probability Agreement
Normative study of probability-agreeing orderings of propositions, much of it rooted in a false but evocative conjecture of Bruno de Finetti, has typically sought to credal ration...
Paul Snow