7124 search results - page 1261 / 1425 » Programming Languages and Operating Systems |
110
click to vote
TARK
2005
Springer
15 years 8 months ago
2005
Springer
The paper focuses on extending to the first order case the semantical program for modalities first introduced by Dana Scott and Richard Montague. We focus on the study of neighb...
105
click to vote
EH
2000
IEEE
15 years 6 months ago
2000
IEEE
The growth and operation of all living beings are directed by the interpretation, in each of their cells, of a chemical program, the DNA string or genome. This process is the sour...
112
Voted
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
Abstract. To achieve an efficient utilization of cluster systems, a proper programming and operating environment is required. In this context, mobile agents are of growing interes...
ACSAC
1999
IEEE
15 years 6 months ago
1999
IEEE
Many security breaches are caused by inappropriate inputs crafted by people with malicious intents. To enhance the system security, we need either to ensure that inappropriate inp...
133
click to vote
CC
1999
Springer
15 years 6 months ago
1999
Springer
In processors that do not support floating-point instructions, using fixed-point arithmetic instead of floating-point emulation trades off computation accuracy for execution spe...