676 search results - page 76 / 136 » A theory of aspects |
DAC
2002
ACM
14 years 11 months ago
2002
ACM
Linear programming (LP) in its many forms has proven to be an indispensable tool for expressing and solving optimization problems in numerous domains. We propose the first set of ...
ATAL
2007
Springer
14 years 4 months ago
2007
Springer
We study logical properties that concern the preservation of futuredirected obligations that have not been fulfilled yet. Our starting point is a product of temporal and deontic ...
W4A
2006
ACM
14 years 3 months ago
2006
ACM
Graphical representations are a powerful way of conveying information. Their use has made life much easier for most sighted users, but people with disabilities or users who work i...
ACMICEC
2003
ACM
14 years 3 months ago
2003
ACM
This paper describes PayCash, an Internet payment system that was designed to offer strong security and privacy protection. This system is based on the concept of electronic cash,...
IIWAS
2008
13 years 11 months ago
2008
In mobile commerce, short-message-service (SMS) is an important technique for delivering payment instruction. A payment model "SMS Credit" was proposed earlier [1]. Such...