6527 search results - page 1184 / 1306 » On Typing Information Flow |
185
click to vote
GECCO
2005
Springer
16 years 15 days ago
2005
Springer
The application of Evolutionary Algorithms to structural test data generation, known as Evolutionary Testing, has to date largely focused on programs with input-output behavior. H...
182
click to vote
ICCSA
2005
Springer
16 years 15 days ago
2005
Springer
Genetic Studies examine relationships between genetic variation and disease development. Pharmacogenetics studies the responses to drugs against genetic variation. These two lines ...
198
click to vote
ICMI
2005
Springer
16 years 15 days ago
2005
Springer
This article presents a User Interface (UI) framework for multimodal interactions targeted at immersive virtual environments. Its configurable input and gesture processing compon...
209
Voted
PET
2005
Springer
16 years 14 days ago
2005
Springer
Trust negotiation between two subjects require each one proving its properties to the other. Each subject specifies disclosure policies stating the types of credentials and attrib...
180
Voted
SSD
2005
Springer
16 years 14 days ago
2005
Springer
Networks often form the core of many users’ spatial databases. Networks are used to support the rapid navigation and analysis of linearly connected data such as that found in tra...