2251 search results - page 55 / 451 » Specification and Implementation Problems for C |
152
click to vote
TRIDENTCOM
2008
IEEE
15 years 9 months ago
2008
IEEE
IETF Network Mobility (NEMO) Basic Support Protocol is an IP mobility management protocol designed to provide seamless IP mobility to complete networks. This protocol is of crucia...
151
click to vote
ICTAC
2009
Springer
15 years 1 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
137
click to vote
DOCENG
2008
ACM
15 years 5 months ago
2008
ACM
Digital Libraries are complex information systems that involve rich sets of digital objects and their respective metadata, along with multiple organizational structures and servic...
139
Voted
KDD
2001
ACM
16 years 3 months ago
2001
ACM
During the last decade, the area of bioinformatics has produced an overwhelming amount of data, with the recently published draft of the human genome being the most prominent exam...
152
click to vote
FP
1992
15 years 7 months ago
1992
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....