15951 search results - page 271 / 3191 » Lawful software engineering |
190
click to vote
KBSE
1998
IEEE
15 years 11 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
172
click to vote
ICAIL
2007
ACM
15 years 11 months ago
2007
ACM
Laws set requirements that force organizations to assess the security and privacy of their IT systems and impose the adoption of the implementation of minimal precautionary securi...
236
click to vote
SOCO
2008
Springer
15 years 7 months ago
2008
Springer
Face recognition from an image or video sequences is emerging as an active research area with numerous commercial and law enforcement applications. In this paper different Pseudo 2...
230
click to vote
USAB
2010
15 years 5 months ago
2010
Akamai oers the largest Content Delivery Network (CDN) service in the world. Building upon its CDN, it recently started to offer High De nition (HD) video distribution using HTTP-...
210
click to vote
UIST
2010
ACM
15 years 5 months ago
2010
ACM
Haptic feedback provides an additional interaction channel when auditory and visual feedback may not be appropriate. We present a novel haptic feedback system that changes its ela...