Sciweavers

2509 search results - page 352 / 502
» Developing Adaptable Components Using Dynamic Languages
Sort
View
FM
2008
Springer
130views Formal Methods» more  FM 2008»
15 years 4 months ago
Specification and Checking of Software Contracts for Conditional Information Flow
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
Torben Amtoft, John Hatcliff, Edwin Rodrígu...
ICFP
2003
ACM
16 years 3 months ago
A static type system for JVM access control
This paper presents a static type system for JAVA Virtual Machine (JVM) code that enforces an access control mechanism similar to the one found, for example, in a JAVA implementat...
Tomoyuki Higuchi, Atsushi Ohori
INTERACT
2003
15 years 4 months ago
Proactive Response to Eye Movements
: Proactive computing reinforces the need for non-command interfaces that fulfill the user’s intentions without explicit commands. Eye gaze is a natural modality to be used in th...
Aulikki Hyrskykari, Päivi Majaranta, Kari-Jou...
ICSEA
2007
IEEE
15 years 9 months ago
Diapason: an Engineering Approach for Designing, Executing and Evolving Service-Oriented Architectures
Web services are often employed to create wide distributed evolvable applications from existing components that constitute a service-based software system. ServiceOriented Archite...
Frédéric Pourraz, Hervé Verju...
ISCAS
2006
IEEE
116views Hardware» more  ISCAS 2006»
15 years 9 months ago
Signal processing for brain-computer interface: enhance feature extraction and classification
Abstract-In this paper we present a new scheme for brain imaginary movement invovles sophisticated spatial-temporalsignal processing and classification for electroencephalogram spe...
Haihong Zhang, Cuntai Guan, Yuanqing Li