5326 search results - page 875 / 1066 » On what we can ensure |
176
click to vote
PLDI
2005
ACM
16 years 1 days ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
171
click to vote
ECMDAFA
2005
Springer
16 years 16 hour ago
2005
Springer
This article presents a control flow analysis methodology based on UML 2.0 sequence diagrams (SD). In contrast to the conventional code-based control flow analysis techniques, thi...
165
click to vote
GD
2005
Springer
16 years 10 hour ago
2005
Springer
Visualizing and analyzing social networks is a challenging problem that has been receiving growing attention. An important first step, before analysis can begin, is ensuring that...
192
click to vote
LCTRTS
2005
Springer
15 years 12 months ago
2005
Springer
Performance guarantees can be given to tasks in an embedded system by ensuring that access to each shared resource is mediated by an appropriate scheduler. However, almost all pre...
200
click to vote
PET
2005
Springer
15 years 12 months ago
2005
Springer
Trust negotiation between two subjects require each one proving its properties to the other. Each subject specifies disclosure policies stating the types of credentials and attrib...