7080 search results - page 483 / 1416 » Designing High Integrity Systems Using Aspects |
141
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
130
click to vote
DEXAW
2009
IEEE
15 years 8 months ago
2009
IEEE
Several aspects of secure operating systems have been analyzed and described as security patterns. However, existing patterns do not cover explicitly the secure interaction of user...
140
click to vote
IADIS
2003
15 years 6 months ago
2003
Our research focuses on web information management for people who want to monitor and use the World Wide Web (WWW) information, as their information resource. Web information is m...
137
click to vote
SC
2009
ACM
15 years 11 months ago
2009
ACM
A stock market data processing system that can handle high data volumes at low latencies is critical to market makers. Such systems play a critical role in algorithmic trading, ri...
142
click to vote
HPCA
2002
IEEE
16 years 5 months ago
2002
IEEE
Cyclops is a new architecture for high performance parallel computers being developed at the IBM T. J. Watson Research Center. The basic cell of this architecture is a single-chip...