2249 search results - page 230 / 450 » ILP-based engineering change |
141
click to vote
FSEN
2007
Springer
15 years 12 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
151
click to vote
IAT
2006
IEEE
15 years 11 months ago
2006
IEEE
Research environments have been changing with the availability of new technologies for decades. Researchers are benefited from digital libraries, online databases, and Web search...
147
click to vote
MSR
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we describe a case study at Philips Healthcare MRI focusing on evolutionary couplings, i.e., a technique to infer relationships among modules by analyzing their his...
145
click to vote
SYRCODIS
2008
15 years 7 months ago
2008
Existing p2p file sharing networks doesn't always give their users abilities to make an effective and fast searches for particular data. In this paper we introduce some impro...
174
click to vote
FIW
1997
15 years 7 months ago
1997
Consideration of services in the Intelligent Network and telecommunications leads to the definition of ANISE (Architectural Notions In Service Engineering). This is a rigorous lan...