2132 search results - page 371 / 427 » Automated software winnowing |
157
click to vote
IWAN
2004
Springer
15 years 9 months ago
2004
Springer
The proliferation of computer viruses and Internet worms has had a major impact on the Internet Community. Cleanup and control of malicious software (malware) has become a key prob...
120
click to vote
PPSWR
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a piece in a big mosaic which consists of formalisms and software packages for representing and reasoning with everyday temporal notions. The kernel of the mosa...
122
click to vote
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...
152
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
This paper aims at pushing the clear relationship between software service composition and chemical dynamics a step forward. We developed a coordination model where services and c...
127
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
XML has become the standard platform for structured data exchange on the Web. Next concern of Semantic Web is the exchange of rules in markup language form. The rules should be re...