Sciweavers

5639 search results - page 60 / 1128
» Timed Abstract Non-interference
Sort
View
SCCC
1998
IEEE
15 years 4 months ago
An Adaptive Model for Programming Distributed Real-Time Applications in CORBA
CORBA is a middleware with open standardization that is receiving plenty of acceptance for facilitating the distributed objects programming. CORBA is being extended through the sp...
Carlos Montez, Rômulo Silva de Oliveira, Jon...
IPCV
2008
15 years 1 months ago
Feature Point Detection for Real Time Applications
This paper presents a new feature point detector that is accurate, efficient and fast. A detailed qualitative evaluation of the proposed feature point detector for grayscale images...
Neeta Nain, Vijay Laxmi, Bhavitavya Bhadviya, Amey...
MCSS
2006
Springer
14 years 11 months ago
Optimal input sets for time minimality in quantized control systems
Abstract Limited capacity of communication channels has brought to the attention of many researchers the analysis of control systems subject to a quantized input set. In some funda...
Alessia Marigo
INTERACTIONS
2010
92views more  INTERACTIONS 2010»
14 years 9 months ago
PUX: patterns of user experience
s from a concrete to a new abstract level of description [1]. Rises in abstraction level happen regularly in all fields, but the key difference in Alexander's work was that ra...
Alan F. Blackwell, Sally Fincher
CONCUR
2009
Springer
15 years 6 months ago
Strict Divergence for Probabilistic Timed Automata
Abstract. Probabilistic timed automata are an extension of timed automata with discrete probability distributions. In previous work, a probabilistic notion of time divergence for p...
Jeremy Sproston