889 search results - page 34 / 178 » An analysis of Internet chat systems |
172
click to vote
AMR
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Although many different types of technologies for information systems have evolved over the last decades (such as databases, video systems, the Internet and mobile telec...
157
click to vote
RR
2009
Springer
16 years 14 days ago
2009
Springer
In this paper we present an embedding of propositional production systems into µ-calculus, and first-order production systems into fixed-point logic, with the aim of using these...
147
click to vote
WSC
2001
15 years 7 months ago
2001
Simulation beginners often spend a great amount of time to accumulate the knowledge as well as the experience to overcome the technical complexity of computer simulation. Limited ...
197
click to vote
IADIS
2003
15 years 7 months ago
2003
Distance Education Course (DEC) has been becoming more and more popular in many universities with the fast development of the Internet technology. The communication between the te...
207
click to vote
PLDI
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...