623 search results - page 92 / 125 » Declarative Network Verification |
WWW
2006
ACM
14 years 9 months ago
2006
ACM
A severe potential security problem in utilization of Unicode in the Web is identified, which is resulted from the fact that there are many similar characters in the Unicode Chara...
DELTA
2010
IEEE
14 years 1 months ago
2010
IEEE
Reconfigurable many-core processors have many advantages over conventionally designed devices, such as low power consumption and very high flexibility. For an increasing number of...
TPPP
1994
14 years 23 days ago
1994
We introduce a method for the specification of reactive asynchronous components with a concurrent access interface and outline its mathematical foundation. The method supports the...
CANS
2006
Springer
14 years 13 days ago
2006
Springer
We address the multicast stream authentication problem when the communication channel is under the control of an opponent who can drop, reorder or inject data. In such a network m...
COORDINATION
2006
Springer
14 years 12 days ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...