Sciweavers

1341 search results - page 111 / 269
» Dynamic Testimonial Logic
Sort
View
HICSS
2007
IEEE
93views Biometrics» more  HICSS 2007»
16 years 13 days 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
169
Voted
ICWE
2007
Springer
16 years 7 days 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...
171
Voted
IPPS
1999
IEEE
15 years 10 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
15 years 9 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
145
Voted
WSC
2008
15 years 8 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