5630 search results - page 1060 / 1126 » Computability in Specification |
160
click to vote
MIDDLEWARE
2005
Springer
15 years 9 months ago
2005
Springer
Currently, the interest in Ambient Intelligence (or AmI) has increased exponentially due to the widespread use of portable devices. Users demand more and more functionality from t...
131
click to vote
MMMACNS
2005
Springer
15 years 9 months ago
2005
Springer
The continuous general linear group in n dimensions can be decomposed into two Lie groups: (1) an n(n-1) dimensional ‘Markov type’ Lie group that is defined by preserving the ...
132
click to vote
RULEML
2005
Springer
15 years 9 months ago
2005
Springer
We show the first detailed realistic e-business application scenario that uses and exploits capabilities of the SweetRules V2.1 toolset for e-contracting using the SweetDeal approa...
134
click to vote
ACMDIS
2004
ACM
15 years 9 months ago
2004
ACM
We elaborate a proposal for capturing, extending, and reusing design knowledge gleaned through usability testing. The proposal is specifically targeted to address interface design...
144
click to vote
ASPLOS
2004
ACM
15 years 9 months ago
2004
ACM
We present a novel processor architecture designed specifically for use in low-power wireless sensor-network nodes. Our sensor network asynchronous processor (SNAP/LE) is based on...