9162 search results - page 1830 / 1833 » System and User Data Complexity |
SAS
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
HICSS
2003
IEEE
14 years 3 months ago
2003
IEEE
Over the years, our group, led by Bob Balzer, designed and implemented three domain-specific languages for use by outside people in real situations. The first language described t...
IPCCC
1999
IEEE
14 years 2 months ago
1999
IEEE
: Most of the Web traffic today uses the HyperText Transfer Protocol (HTTP), with the Transmission Control Protocol (TCP) as the underlying transport protocol. TCP provides several...
SIGMETRICS
1993
ACM
14 years 1 months ago
1993
ACM
Recently there has been a surge of interest in developing performance debugging tools to help programmers tune their applications for better memory performance [2, 4, 10]. These t...
ATAL
2008
Springer
13 years 11 months ago
2008
Springer
Humans continuously assess one another's situational context, modify their own affective state, and then respond based on these outcomes through empathetic expression. Virtua...