1777 search results - page 217 / 356 » Programming Cryptographic Protocols |
145
click to vote
ILP
2007
Springer
15 years 11 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
151
click to vote
USENIX
2003
15 years 6 months ago
2003
Twisted is a high-level networking framework that is built around event-driven asynchronous I/O. It supports TCP, SSL, UDP and other network transports. Twisted supports a wide va...
119
click to vote
JAMIA
2010
2010
The inadvertent disclosure of personal health information through peer-to-peer file sharing programs
14 years 11 months ago
Objective There has been a consistent concern about the inadvertent disclosure of personal information through peer-to-peer file sharing applications, such as Limewire and Morpheu...
125
click to vote
SAC
2006
ACM
15 years 11 months ago
2006
ACM
Using small, context-specific interfaces in variable declarations serves the decoupling of classes and increases a program’s flexibility. To minimize its interface, a thorough a...
244
click to vote
POPL
2002
ACM
16 years 5 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...