32032 search results - page 6223 / 6407 » Verified programming in Guru |
99
Voted
ESEM
2008
ACM
15 years 1 months ago
2008
ACM
Project managers can use capture-recapture models to manage the inspection process by estimating the number of defects present in an artifact and determining whether a reinspectio...
ESORICS
2008
Springer
15 years 1 months ago
2008
Springer
Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the commun...
104
click to vote
EUROCRYPT
2008
Springer
15 years 1 months ago
2008
Springer
The Universal Composability framework was introduced by Canetti to study the security of protocols which are concurrently executed with other protocols in a network environment. U...
103
click to vote
ATMOS
2008
15 years 1 months ago
2008
Delay management is an important issue in the daily operations of any railway company. The task is to update the planned timetable to a disposition timetable in such a way that the...
124
click to vote
FM
2008
Springer
15 years 1 months ago
2008
Springer
The declarative modeling language Alloy and its automatic analyzer provide an effective tool-set for building designs of systems and checking their properties. The Alloy Analyzer p...