12562 search results - page 2116 / 2513 » Distributed Xbean Applications |
149
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...
133
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Little is known about how developers think about design during code modification tasks or how experienced developers' design knowledge helps them work more effectively. We pe...
151
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
130
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
The fault-prone module detection in source code is of importance for assurance of software quality. Most of previous fault-prone detection approaches are based on software metrics...
165
click to vote
SIGSOFT
2002
ACM
16 years 5 months ago
2002
ACM
Security is a very important issue in information processing, especially in open network environments like the Internet. The Common Criteria (CC) is the standard requirements cata...