3346 search results - page 127 / 670 » A Generic Rendering System |
163
click to vote
ICALT
2009
IEEE
16 years 1 months ago
2009
IEEE
Supporting students in the acquisition of argumentation skills is an important goal of educational technology. However, there has not been much work done towards developing generi...
152
click to vote
LICS
2006
IEEE
16 years 11 days ago
2006
IEEE
We motivate and study a generic relaxation of correctness of reactive and concurrent systems with respect to a temporal specification. We define a system to be fairly correct if...
138
click to vote
IADIS
2004
15 years 7 months ago
2004
In this paper we present the information life cycle and analyze the importance of managing the corporate application portfolio across this life cycle. The approach presented here ...
165
click to vote
WOTE
2010
15 years 4 months ago
2010
Abstract. In this paper, we develop methods for constructing votebuying/coercion attacks on end-to-end voting systems, and describe votebuying/coercion attacks on three proposed en...
147
click to vote
SYNASC
2005
IEEE
15 years 12 months ago
2005
IEEE
— A framework that describes the evolution of P systems with bounded parallelism is defined by introducing basic formal features that can be then integrated into a structural op...