Sciweavers

1341 search results - page 111 / 269
» Dynamic Testimonial Logic
Sort
View
HICSS
2007
IEEE
93views Biometrics» more  HICSS 2007»
14 years 3 months ago
Using Systems Dynamics to Explore Effects of Counterterrorism Policy
This paper suggests that the effects of counterterrorism policy on Violent Non-State Actors can be explored via systems dynamics. Specifically, we create a descriptive model of th...
Tara Leweling, Otto Sieber
ICWE
2007
Springer
14 years 3 months ago
Web User Interface Migration through Different Modalities with Dynamic Device Discovery
In this paper we present a new environment for supporting Web user interface migration through different modalities. The goal is to furnish user interfaces that are able to migrate...
Renata Bandelloni, Giulio Mori, Fabio Patern&ograv...
IPPS
1999
IEEE
14 years 1 months ago
Plastic Cell Architecture: A Dynamically Reconfigurable Hardware-Based Computer
This paper describes a dynamically reconfigurable hardware-based computer called the Plastic Cell Architecture (PCA). PCA consists of dualstructured sea-of -cells that consist of a...
Hiroshi Nakada, Kiyoshi Oguri, Norbert Imlig, Mino...
DALT
2006
Springer
14 years 1 months ago
Dynamic Model Checking for Multi-agent Systems
Abstract. This paper is concerned with the problem of obtaining predictable interactions between groups of agents in open environments when individual agents do not expose their bd...
Nardine Osman, David Robertson, Christopher Walton
WSC
2008
13 years 11 months ago
Dynamic security: An agent-based model for airport defense
The Department of Homeland Security (DHS) shifted the focus of airport security in 2004 to incorporate the need to continuously and rapidly adapt security to shifting threats. MIT...
William E. Weiss