3273 search results - page 508 / 655 » types 2007 |
152
click to vote
COLCOM
2007
IEEE
15 years 8 months ago
2007
IEEE
Current collaborative tools are often not able to profit from existing systems for user management. It is therefore necessary for collaborative systems to administrate their users ...
116
click to vote
CONCUR
2007
Springer
15 years 8 months ago
2007
Springer
We re-examine vacuity in temporal logic model checking. We note two disturbing phenomena in recent results in this area. The first indicates that not all vacuities detected in prac...
131
click to vote
CONEXT
2007
ACM
15 years 8 months ago
2007
ACM
Today's Internet contains a large portion of "dynamic" IP addresses, which are assigned to clients upon request. A significant amount of malicious activities have b...
150
click to vote
CONEXT
2007
ACM
15 years 8 months ago
2007
ACM
Internet interdomain routing is policy-driven, and thus physical connectivity does not imply reachability. On average, routing on today's Internet works quite well, ensuring ...
158
click to vote
CONTEXT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Many environments in which people and computer agents interact involve deploying resources to accomplish tasks and satisfy goals. This paper investigates the way that the...