1949 search results - page 85 / 390 » Protective Interface Specifications |
132
click to vote
CODES
2004
IEEE
15 years 6 months ago
2004
IEEE
We present design technology for the structured design and programming of embedded multi-processor systems. It comprises a task-level interface that can be used both for developin...
115
click to vote
IWFM
1998
15 years 3 months ago
1998
In this paper we suggest methods to aid the development of specifications using the B method. We propose an objectoriented approach to specification, developing the structure thro...
121
click to vote
HICSS
2007
IEEE
15 years 6 months ago
2007
IEEE
We introduce a secure architecture called an attested meter for advanced metering that supports large-scale deployments, flexible configurations, and enhanced protection for consu...
137
click to vote
NSDI
2008
15 years 4 months ago
2008
Recent operating systems [12, 21, 26] have shown that decentralized information flow control (DIFC) can secure applications built from mostly untrusted code. This paper extends DI...
103
Voted
PKDD
2010
Springer
15 years 23 days ago
2010
Springer
Abstract. We present an automated tool with a web interface for tracking the prevalence of Influenza-like Illness (ILI) in several regions of the United Kingdom using the contents...