10707 search results - page 1939 / 2142 » Designing executable abstractions |
179
click to vote
JODS
2006
15 years 7 months ago
2006
Abstract. Many problems in Information and Data Management require a semantic account of a database schema. At its best, such an account consists of formulas expressing the relatio...
209
click to vote
JUCS
2006
15 years 7 months ago
2006
Abstract: Pseudorandom number generators are widely used in the area of simulation. Defective generators are still widely used in standard library programs, although better pseudor...
180
click to vote
NETWORK
2008
15 years 7 months ago
2008
Abstract--For a long time, traditional client-server communication was the predominant communication paradigm of the Internet. Network Address Translation devices (NAT) emerged to ...
210
click to vote
FAC
2007
15 years 7 months ago
2007
Abstract. The Verifying Compiler (VC) project proposals suggest that mainstream software developers are its targeted end-users. Like other software engineering efforts, the VC proj...
187
click to vote
GPEM
2007
15 years 6 months ago
2007
Cancer is an evolutionary process; mutated cells are selected for abnormal growth and survivability. Here, a computer simulation is used to model ductal carcinoma in situ (DCIS), ...