1700 search results - page 141 / 340 » Specifying and implementing refactorings |
126
Voted
FM
2001
Springer
15 years 9 months ago
2001
Springer
A static program checker that performs modular checking can check one program module for errors without needing to analyze the entire program. Modular checking requires that each m...
157
click to vote
LOPSTR
2001
Springer
15 years 9 months ago
2001
Springer
In this paper we define a sequent calculus to formally specify, simulate, debug and verify security protocols. In our sequents we distinguish between the current knowledge of prin...
145
click to vote
ISCC
2000
IEEE
15 years 9 months ago
2000
IEEE
Performance modeling and evaluation techniques are essential when designing and implementing distributed software systems. Constructing performance models for such systems can req...
138
click to vote
MM
2000
ACM
15 years 9 months ago
2000
ACM
A Vmedia JPEG 2000 interactive image browser is developed. Two key technologies make our system unique: it is the first to implement the decoder ROI access functionality of JPEG 2...
164
Voted
AGENTCL
2000
Springer
15 years 9 months ago
2000
Springer
In this paper we define the concept of conversation policies: declarative specifications that govern communications between software agents using an agent communication language. ...