1368 search results - page 259 / 274 » Personality-Based Practical Reasoning |
155
click to vote
ISARCS
2010
15 years 3 months ago
2010
Voting is a critical component of any democratic process; and electronic voting systems should be developed following best practices for critical system development. E-voting has i...
128
Voted
ER
2006
Springer
15 years 3 months ago
2006
Springer
Initial software quality requirements tend to be imprecise, subjective, idealistic, and context-specific. An extended characterization of the common Softgoal concept is proposed fo...
105
click to vote
ASAP
2007
IEEE
15 years 3 months ago
2007
IEEE
In high-level synthesis, as for compilers, an important question is when register assignment should take place. Unlike compilers for which the processor architecture is given, syn...
123
click to vote
COORDINATION
2008
Springer
15 years 3 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
148
click to vote
CRYPTO
2008
Springer
15 years 3 months ago
2008
Springer
In cryptography, there has been tremendous success in building various two-party protocols with small communication complexity out of homomorphic semantically-secure encryption sc...