764 search results - page 99 / 153 » An e-contracting reference architecture |
MKM
2007
Springer
14 years 4 months ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
DATE
2006
IEEE
14 years 4 months ago
2006
IEEE
With reference to digital input power amplifier for automotive audio applications, the paper presents an exhaustive exploration of the huge mixed-signal space to find optimal trad...
ICMCS
2006
IEEE
14 years 3 months ago
2006
IEEE
In conventional video coding, the complexity of an encoder is generally much higher than that of a decoder because of operations such as motion estimation consume significant com...
JCDL
2006
ACM
14 years 3 months ago
2006
ACM
The Perseus Project at Tufts University produces tools to enhance the study of humanities texts. Perseus’ new named-entity browser lets users browse an index of references to pe...
DEXAW
2005
IEEE
14 years 3 months ago
2005
IEEE
Java 2 Micro-Edition Connected Limited Device Configuration (J2ME CLDC) is the platform of choice when it comes to running mobile applications on resourceconstrained devices (cel...