4469 search results - page 534 / 894 » Dynamic Program Slicing |
174
Voted
SAC
2005
ACM
16 years 11 days ago
2005
ACM
This paper proposes a model along with a reference software architecture enabling multi-coordination between distributed and mobile software agents. Multi-coordination allows agen...
203
click to vote
CASSIS
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
192
click to vote
ICALP
2004
Springer
16 years 5 days ago
2004
Springer
In order to enable communication between a dynamic collection of peers with given ID’s, such as “machine.cs.school.edu”, over the Internet, a distributed name service must b...
224
click to vote
IFIP
2004
Springer
16 years 5 days ago
2004
Springer
: Mobile Ad hoc Networks are characterized by multi-hop wireless links, without any infrastructure, and frequent host mobility. A plethora of routing protocols has been proposed. A...
142
click to vote
IEEEPACT
2002
IEEE
15 years 11 months ago
2002
IEEE
A static memory reference exhibits a unique property when its dynamic memory addresses are congruent with respect to some non-trivial modulus. Extraction of this congruence inform...