Sciweavers

1213 search results - page 98 / 243
» Traceability for System Families
Sort
View
CCS
2009
ACM
14 years 10 months ago
RFID privacy: relation between two notions, minimal condition, and efficient construction
Privacy of RFID systems is receiving increasing attention in the RFID community. Basically, there are two kinds of RFID privacy notions: one based on the indistinguishability of t...
Changshe Ma, Yingjiu Li, Robert H. Deng, Tieyan Li
129
Voted
ACMIDC
2011
14 years 4 months ago
Pop goes the cell phone: asynchronous messaging for preschoolers
This paper outlines a series of experiments to develop asynchronous messaging systems for preschool aged children. Three unique systems build on a foundational design called Toast...
Hayes Raffle, Rafael Ballagas, Glenda Revelle, Koi...
107
Voted
IJAR
2007
86views more  IJAR 2007»
15 years 22 days ago
Non-deterministic semantics for logics with a consistency operator
In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent...
Arnon Avron
93
Voted
MOC
2002
100views more  MOC 2002»
15 years 14 days ago
Numerical computation of viscous profiles for hyperbolic conservation laws
Viscous profiles of shock waves in systems of conservation laws can be viewed as heteroclinic orbits in associated systems of ordinary differential equations (ODE). In the case of ...
Heinrich Freistühler, Christian Rohde
OOPSLA
2010
Springer
14 years 11 months ago
Tribal ownership
Tribal Ownership unifies class nesting and object ownership. Tribal Ownership is based on Tribe, a language with nested classes and object families. In Tribal Ownership, a progra...
Nicholas R. Cameron, James Noble, Tobias Wrigstad