1321 search results - page 162 / 265 » Subtyping in Logical Form |
164
click to vote
MKM
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. There are many styles for the narrative structure of a mathematical document. Each mathematician has its own conventions and traditions about labeling portions of texts (...
161
click to vote
PEPM
2007
ACM
16 years 14 days ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
163
click to vote
ACSC
2006
IEEE
16 years 13 days ago
2006
IEEE
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
206
click to vote
CSFW
2005
IEEE
15 years 12 months ago
2005
IEEE
We develop a general method for proving properties of contract-signing protocols using a specialized protocol logic. The method is applied to the Asokan-ShoupWaidner and the Garay...
153
click to vote
ICMCS
2005
IEEE
15 years 12 months ago
2005
IEEE
The ever-increasing complexity of generic MultimediaContent-Analysis-based (MCA) solutions, their processing power demanding nature and the need to prototype and assess solutions ...