2196 search results - page 214 / 440 » Practical Reasoning Using Values |
VMCAI
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...
MICCAI
2007
Springer
14 years 10 months ago
2007
Springer
Abstract. The creation of 2D ultrasound mosaics is becoming a common clinical practice with a high clinical value. The next step coming along with the increasing availability of 2D...
ICSE
2009
IEEE-ACM
14 years 10 months ago
2009
IEEE-ACM
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
CHI
2009
ACM
14 years 10 months ago
2009
ACM
Shake2Talk is a mobile messaging system that allows users to send sounds and tactile sensations to one another via their mobile phones. Messages are created through gestures and t...
CHI
2007
ACM
14 years 10 months ago
2007
ACM
Can a set of articulated and tested methodologies be created whose endpoint is the reliable capacity for taking activist social themes into account? In this paper we explore a var...