800 search results - page 81 / 160 » XML access control using static analysis |
196
click to vote
ECRTS
2010
IEEE
15 years 4 months ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
125
Voted
ENTCS
2006
15 years 3 months ago
2006
The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...
143
Voted
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
105
click to vote
SIGMETRICS
1987
ACM
15 years 7 months ago
1987
ACM
Expressions are found for the throughput and delay performance of a Tree Conflict Resolution Algorithm that is used in a Local Area Network with carrier sensing (and possibly also ...
126
Voted
PDCAT
2005
Springer
15 years 9 months ago
2005
Springer
This paper examines technique of media access that flexible media service, provided user interaction, and guaranteeing QoS. Currently, there are various streaming services, but th...