7027 search results - page 540 / 1406 » Software process: a roadmap |
210
click to vote
AC
1999
Springer
15 years 11 months ago
1999
Springer
A widely used computational model for constructing fault-tolerant distributed applications employs atomic transactions for controlling operations on persistent objects. There has ...
207
click to vote
IJCINI
2007
15 years 7 months ago
2007
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost al...
178
click to vote
KBSE
2006
IEEE
16 years 1 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
181
click to vote
ACSAC
2005
IEEE
16 years 25 days ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
170
click to vote
APSEC
2005
IEEE
16 years 25 days ago
2005
IEEE
Web Services together with Service-Oriented Architectures (SOA) are playing an important role in the future of distributed computing, significantly impacting software development ...