10916 search results - page 2077 / 2184 » On Constructive Connectives and Systems |
179
click to vote
SAC
2006
ACM
16 years 10 days ago
2006
ACM
We report a comprehensive evaluation of the topological structure of protein-protein interaction (PPI) networks by mining and analyzing graphs constructed from the publicly availa...
244
click to vote
SIGCOMM
2006
ACM
16 years 10 days ago
2006
ACM
There is a growing demand for network devices capable of examining the content of data packets in order to improve network security and provide application-specific services. Most...
175
click to vote
UIST
2006
ACM
16 years 10 days ago
2006
ACM
Modern applications provide interfaces for scripting, but many users do not know how to write script commands. However, many users are familiar with the idea of entering keywords ...
159
click to vote
KBSE
2005
IEEE
15 years 12 months ago
2005
IEEE
Software verification using model checking often translates programs into corresponding transition systems that model the program behavior. As software systems continue to grow i...
164
click to vote
SEUS
2005
IEEE
15 years 12 months ago
2005
IEEE
In this paper, we defined the concept of the grouped distributed objects[10-14], as a logical unit of distributed application service, and developed a distributed programming deve...