6293 search results - page 443 / 1259 » Information Flow Testing |
197
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
`Embedded phenomena' is a learning technology framework in which simulated scientific phenomena are mapped onto the physical space of classrooms. Students monitor and control...
318
click to vote
POPL
2005
ACM
16 years 7 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
217
click to vote
MOBIHOC
2003
ACM
16 years 6 months ago
2003
ACM
In hostile environments, the enemy can launch traffic analysis against interceptable routing information embedded in routing messages and data packets. Allowing adversaries to tra...
165
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
In this article we describe the operationalised Business Intelligence (BI) environment of the Amsterdam-Amstelland Police Department (AAPD) as it presented itself in the spring of...
231
Voted
GROUP
2009
ACM
16 years 1 months ago
2009
ACM
We take the work practices of fire emergency responders as the basis for developing simulations to teach team coordination. We introduce non-mimetic simulation: economic operation...