Sciweavers

2228 search results - page 387 / 446
» Electronic Payment Systems
Sort
View
ATAL
2008
Springer
15 years 1 months ago
Checking correctness of business contracts via commitments
Business contracts tend to be complex. In current practice, contracts are often designed by hand and adopted by their participants after, at best, a manual analysis. This paper mo...
Nirmit Desai, Nanjangud C. Narendra, Munindar P. S...
ATAL
2008
Springer
15 years 1 months ago
Emotionally based multi-agent e-commerce platform
Experiencing and expressing emotions are integral parts of our life. In the retail area of commerce, emotion plays a fundamental role. When we choose or buy a commodity, our choic...
Nicolae Jascanu
ECLIPSE
2005
ACM
15 years 1 months ago
IDE Support for test-driven development and automated grading in both Java and C++
Students need to learn testing skills, and using test-driven development on assignments is one way to help students learn. We use a flexible automated grading system called Web-CA...
Anthony Allowatt, Stephen Edwards
DAC
2008
ACM
15 years 1 months ago
Protecting bus-based hardware IP by secret sharing
Our work addresses protection of hardware IP at the mask level with the goal of preventing unauthorized manufacturing. The proposed protocol based on chip locking and activation i...
Jarrod A. Roy, Farinaz Koushanfar, Igor L. Markov
LREC
2010
169views Education» more  LREC 2010»
15 years 1 months ago
An LMF-based Web Service for Accessing WordNet-type Semantic Lexicons
This paper describes a Web service for accessing WordNet-type semantic lexicons. The central idea behind the service design is: given a query, the primary functionality of lexicon...
Savas Ali Bora, Yoshihiko Hayashi, Monica Monachin...