345 search results - page 60 / 69 » Modular and Incremental Analysis of Concurrent Software Syst... |
132
click to vote
EKAW
1992
Springer
15 years 3 months ago
1992
Springer
Process management is a method for improving Boeing's business processes, however many aspects have been difficult to implement. eQuality is a software system based on a frame...
107
click to vote
BMCBI
2005
14 years 11 months ago
2005
Background: Normal mode analysis (NMA) has become the method of choice to investigate the slowest motions in macromolecular systems. NMA is especially useful for large biomolecula...
113
click to vote
CC
2001
Springer
15 years 3 months ago
2001
Springer
SmartTools is a development environment generator that provides a structure editor and semantic tools as main features. The well-known visitor pattern technique is commonly used fo...
106
click to vote
SIGSOFT
2009
ACM
16 years 14 days ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
118
click to vote
EUROSYS
2010
ACM
15 years 8 months ago
2010
ACM
Bugs in concurrent programs are extremely difficult to find and fix during testing. In this paper, we propose Kivati, which can efficiently detect and prevent atomicity violat...