5200 search results - page 746 / 1040 » Symbolic models for control systems |
214
click to vote
ISORC
2006
IEEE
16 years 1 months ago
2006
IEEE
Many real-time applications, such as traffic control systems, surveillance systems and health monitoring systems, need to operate on continuous unbounded streams of data. These ap...
195
click to vote
HIPEAC
2005
Springer
16 years 28 days ago
2005
Springer
Abstract. This paper presents a new security architecture for protecting software confidentiality and integrity. Different from the previous process-centric systems designed for ...
194
click to vote
ACSD
2003
IEEE
16 years 22 days ago
2003
IEEE
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
207
click to vote
VTC
2007
IEEE
16 years 1 months ago
2007
IEEE
— The characterization of downlink traffic power is an important issue for the design of efficient call admission control (CAC) and radio resource management (RRM) procedures. In...
195
Voted
PVLDB
2008
15 years 6 months ago
2008
This paper describes a unification of two different SQL extensions for streams and its associated semantics. We use the data models from Oracle and StreamBase as our examples. Ora...