3765 search results - page 506 / 753 » Qualitative Action Systems |
169
click to vote
CSCW
2010
ACM
16 years 3 months ago
2010
ACM
Emotions are an often overlooked aspect of work since they are not included in formal work models. However, they continue provide critical information as well as be part of a rich...
199
click to vote
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
The environment is affected by our collective behavior, yet many visualizations of energy saving behavior focus on personal actions, or simple, unidimensional comparisons between ...
145
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
What impact do process and data standards have on business process performance? This paper shows that process and data standards have a positive combined impact on business proces...
200
click to vote
AFRICACRYPT
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a simple zero-knowledge proof of knowledge protocol of which many protocols in the literature are instantiations. These include Schnorr’s protocol for provin...
170
click to vote
FOSSACS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We define and study an automata model of concurrent recursive programs. An automaton consists of a finite number of pushdown systems running in parallel and communicati...