5255 search results - page 555 / 1051 » Formal Methods for Privacy |
167
click to vote
SAS
2005
Springer
16 years 17 days ago
2005
Springer
A method is developed to infer a polymorphic well-typing for a logic program. Our motivation is to improve the automation of termination analysis by deriving types from which norms...
214
click to vote
FMCO
2004
Springer
16 years 14 days ago
2004
Springer
This paper considers an integration of asynchronous communication, virtual binding, and multiple inheritance. Object orientation is the leading paradigm for concurrent and distribu...
203
click to vote
SAS
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...
148
click to vote
ICRA
2003
IEEE
16 years 11 days ago
2003
IEEE
— This paper describes a cooperative method for relative localization of mobile robot teams; that is, it describes a method whereby every robot in the team can estimate the pose ...
178
click to vote
RTSS
1997
IEEE
15 years 11 months ago
1997
IEEE
Static-priority scheduling is popular for traffic scheduling in ATM switches because it is less costly than dynamic priority scheduling while being sensitive to the delay constra...