837 search results - page 59 / 168 » A Compositional Approach on Modal Specifications for Timed S... |
EICS
2009
ACM
14 years 3 months ago
2009
ACM
The Open Interface Development Environment (OIDE) was developed as part of the OpenInterface (OI) platform, an open source framework for the rapid development of multimodal intera...
RTCSA
1999
IEEE
14 years 1 months ago
1999
IEEE
This study proposes a new bandwidth reservation strategy (Two Level Guarantee) in wireless environment based on the user mobility specification which is assumed to be given at cal...
CBSE
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. Workflow systems provide support for combining components to achieve a particular outcome. Various approaches from software engineering have been utilized within such sys...
FORMATS
2007
Springer
14 years 26 days ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
SP
1996
IEEE
14 years 1 months ago
1996
IEEE
Covert channels are a critical concern for multilevel secure (MLS) systems. Due to their subtlety, it is desirable to use formal methods to analyze MLS systems for the presence of...