1833 search results - page 141 / 367 » Mechanized Verification with Sharing |
134
click to vote
COLCOM
2009
IEEE
15 years 9 months ago
2009
IEEE
The need for collaboration and information sharing has been recently growing dramatically with the convergence of outsourcing and offshoring, the increasing need to cut costs thro...
142
click to vote
ICIP
1998
IEEE
16 years 6 months ago
1998
IEEE
In this paper, we proposed a neural network based scheme for performing unsupervised video object segmentation, especially for videophone or videoconferencing applications. The pr...
262
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
In traditional information-flow type systems, the security policy is often formalized as noninterference properties. However, noninterference alone is too strong to express securi...
124
click to vote
ACSAC
2003
IEEE
15 years 10 months ago
2003
IEEE
The IPsec protocol provides a mechanism to enforce a range of security services for both confidentiality and integrity, enabling secure transmission of information across networks...
158
click to vote
WORDS
2002
IEEE
15 years 9 months ago
2002
IEEE
Distributed programming is applicable in a wide range of domains such as control systems. These systems are subject to mutable environments and must also provide a time varying ad...