3256 search results - page 476 / 652 » Applications of Formal Methods to System Design and Verifica... |
160
Voted
ICCCN
2008
IEEE
15 years 11 months ago
2008
IEEE
—Owing to the limited requirement for sensor processing in early networked sensor nodes, embedded software was generally built around the communication stack. Modern sensor nodes...
118
click to vote
WWW
2008
ACM
16 years 6 months ago
2008
ACM
Various sectors in developing countries are typically dominated by the presence of a large number of small and microbusinesses that operate in an informal, unorganized manner. Man...
143
click to vote
OTM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Business process models play an important role for the management, design, and improvement of process organizations and processaware information systems. Despite the exte...
140
click to vote
TCS
2010
15 years 3 months ago
2010
This paper presents an embedded security sublanguage for enforcing informationflow policies in the standard Haskell programming language. The sublanguage provides useful informat...
166
click to vote
OSDI
1996
ACM
15 years 6 months ago
1996
ACM
This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel r...