Sciweavers

3972 search results - page 586 / 795
» Palpability Support Demonstrated
Sort
View
IJISEC
2007
149views more  IJISEC 2007»
15 years 6 months ago
Dynamic security labels and static information flow control
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
Lantian Zheng, Andrew C. Myers
IJMMS
2007
132views more  IJMMS 2007»
15 years 6 months ago
How emotion is made and measured
How we design and evaluate for emotions depends crucially on what we take emotions to be. In affective computing, affect is often taken to be another kind of information - discret...
Kirsten Boehner, Rogério de Paula, Paul Dou...
SOCO
2008
Springer
15 years 6 months ago
Interface Composition for Web Service Intermediaries
Abstract. The use of XML as a format for message exchange makes Web services well suited for composition of heterogeneous components. However, since clients must manage differences...
Sara Forghanizadeh, Eric Wohlstadter
IJON
2007
86views more  IJON 2007»
15 years 6 months ago
Validation of task-related excess of spike coincidences based on NeuroXidence
One of the key findings supporting the assembly hypothesis was found in recordings from the primary motor cortex of behaving monkeys involved in a delayed pointing task [A. Riehl...
Gordon Pipa, Alexa Riehle, Sonja Grün
SQJ
2008
94views more  SQJ 2008»
15 years 6 months ago
Simulation-based analysis of UML statechart diagrams: methods and case studies
- We present a comprehensive UML statechart diagram analysis framework. This framework allows one to progressively perform different analysis operations to analyze UML statechart d...
Jiexin Lian, Zhaoxia Hu, Sol M. Shatz