7118 search results - page 716 / 1424 » Electrical and Computer Engineering |
163
click to vote
FOSSACS
2010
Springer
16 years 2 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
179
click to vote
OZCHI
2009
ACM
16 years 2 months ago
2009
ACM
We aim to make sense of a perplexing human experience (fun) as it occurs in a recently discovered place for sociotechnical study (the home). Our toolkit includes technology probes...
186
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
This paper deals with the development and use of business cases in support of cross-organizational enterprise resource planning (ERP)-enabled e-business integration initiatives. I...
148
click to vote
SAC
2009
ACM
16 years 2 months ago
2009
ACM
Spectrum analysis for quality requirements is useful for measuring and tracking them, but current spectrum analysis largely depends on expertise of each analyst. Therefore, it tak...
187
click to vote
CSE
2009
IEEE
16 years 2 months ago
2009
IEEE
The most advanced logistics solutions that are currently adopted in ports and terminals use RFID- and GPS-based technologies to identify and localize shipping containers in the ya...