11172 search results - page 621 / 2235 » Testing Physical Systems |
160
click to vote
ACSD
2001
IEEE
15 years 11 months ago
2001
IEEE
The correctness of an optimisation of the Transport Capabilities Application Part of the Signalling System No. 7 is formalised as a branching bisimulation which is relaxed to allo...
178
click to vote
IJMMS
2007
15 years 7 months ago
2007
In this paper we describe the development and testing of a tool for self-assessment of affect while interacting with computer systems, meant to be used in many cultures. We discus...
174
click to vote
IMCSIT
2010
15 years 5 months ago
2010
In this paper, we discuss an HPSG grammar of Persian (PerGram) that is implemented in the TRALE system. We describe some of the phenomena which are currently covered. While working...
167
click to vote
VLSID
2004
IEEE
16 years 7 months ago
2004
IEEE
: The accumulation of popular features in portable products such as mobile handsets is driving battery life to unacceptably low levels. Substantial change will not come from increm...
195
click to vote
IDEAL
2009
Springer
16 years 1 months ago
2009
Springer
Nowadays, there is a growing need for providing novel solutions to facilitate active learning in dependency environments. This paper present a multiagent architecture that incorpor...