1799 search results - page 267 / 360 » The Logic of Correctness in Software Engineering |
170
click to vote
VMCAI
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
147
click to vote
APSEC
2003
IEEE
16 years 4 days ago
2003
IEEE
Current IP phone architectures which bring phone services to a distributed open environment are eraltively static and do not scale well. An IP phone environment should be more dyn...
210
click to vote
COMPSAC
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper introduces an object-passing model for parallel and distributed application development. Object passing provides the object-oriented application developer with powerful...
172
click to vote
COMPSAC
2003
IEEE
16 years 3 days ago
2003
IEEE
Usual techniques for automatic test data generation are based on the assumption that a complete oracle will be available during the testing process. However, there are programs fo...
193
click to vote
SCAM
2003
IEEE
16 years 3 days ago
2003
IEEE
This paper presents a flexible way in which a deisgn model extracted from Java programs can remain unified with the source code. Each entity declaration and reference in the Java ...