2036 search results - page 70 / 408 » A generic type-and-effect system |
95
Voted
WOTE
2010
14 years 11 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...
93
Voted
SYNASC
2005
IEEE
15 years 6 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...
IFIP
2004
Springer
15 years 6 months ago
2004
Springer
: This chapter presents the problematic of the distributed systems supervision through a comprehensive state-of-the-art. Issues are illustrated with a case study about an innovativ...
82
Voted
AIA
2007
15 years 2 months ago
2007
This paper describes SPMED, a system for robust and accurate linguistic parsing of medical documents which is used in several industrial products. The basic design criterion of th...
81
Voted
SIAMCO
2008
15 years 16 days ago
2008
Abstract. When applying methods of optimal control to motion planning or stabilization problems, some theoretical or numerical difficulties may arise, due to the presence of specif...