1348 search results - page 226 / 270 » A Temporal Programming Language for Heterogeneous Informatio... |
IUI
2010
ACM
14 years 3 months ago
2010
ACM
In this paper, we present CoTester, a system designed to decrease the difficulty of testing web applications. CoTester allows testers to create test scripts that are represented ...
LCTRTS
2005
Springer
14 years 2 months ago
2005
Springer
The limited built-in configurability of Linux can lead to expensive code size overhead when it is used in the embedded market. To overcome this problem, we propose the applicatio...
TCS
2008
13 years 8 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
TON
2012
11 years 11 months ago
2012
—Cognitive Radio (CR) technology has great potential to alleviate spectrum scarcity in wireless communications. It allows secondary users (SUs) to opportunistically access spectr...
IFIP
2001
Springer
14 years 1 months ago
2001
Springer
This paper uses semiotic theories to model how meaning is constructed during an IS development project. Conventionally, shared meanings among all project stakeholders are regarded...