1060 search results - page 139 / 212 » Mechanized semantics |
SCCC
1998
IEEE
15 years 2 months ago
1998
IEEE
Frameworks promote design and code reuse, at a higher level of granularity. The use of frameworks is a hard task though, because usually they lack documentation and instructions o...
SP
1998
IEEE
15 years 2 months ago
1998
IEEE
The growing use of mobile code in downloaded applications and servlets has increased interest in robust mechanisms for ensuring privacy and secrecy. Information flow control is in...
DOCENG
2007
ACM
15 years 1 months ago
2007
ACM
The problem of version detection is critical in many important application scenarios, including software clone identification, Web page ranking, plagiarism detection, and peer-to-...
APSEC
2004
IEEE
15 years 1 months ago
2004
IEEE
The notion of partial and evolutionary specification has gained attention both in research and industry in the last years. While many people regard this just as a process issue, w...
DEXAW
2004
IEEE
15 years 1 months ago
2004
IEEE
Ad-hoc data exchange, e.g., by sending email attachments, leads to multiple copies or versions of a document at dispersed nodes in a network. However, their relationships such as ...