6978 search results - page 1248 / 1396 » On Proofs in System P |
SADFE
2005
IEEE
14 years 2 months ago
2005
IEEE
With the rapid development of electronic commerce and Internet technology, cyber crimes have become more and more common. There is a great need for automated software systems that...
MM
2005
ACM
14 years 2 months ago
2005
ACM
We report experiments on the use of standard natural language processing (NLP) tools for the analysis of music lyrics. A significant amount of music audio has lyrics. Lyrics enco...
PEWASUN
2005
ACM
14 years 2 months ago
2005
ACM
The design and evaluation of Inter-Vehicle Communication (IVC) protocols rely much on the accurate and efficient computational simulations. For simulations of Medium Access Contro...
AOSE
2005
Springer
14 years 2 months ago
2005
Springer
This paper synthesizes two trends in the engineering of agent-based systems. One, modern agent-oriented methodologies deal with the key aspects of software development including re...
DEXA
2005
Springer
14 years 2 months ago
2005
Springer
Software package selection is an activity that plays an increasingly crucial role in the delivery of software systems. One of its main open issues is how to structure the knowledge...