172 search results - page 15 / 35 » Validating SDL Specifications: an Experiment |
ICDCS
2003
IEEE
14 years 29 days ago
2003
IEEE
In this paper, we present a real-time communication protocol for sensor networks, called SPEED. The protocol provides three types of real-time communication services, namely, real...
VLDB
1998
ACM
13 years 12 months ago
1998
ACM
It is today widely acceptedthat "Business Rules Independence" is required for information systemsto better and more rapidly adjust to changesin thebusinessenvironment,Th...
LREC
2008
13 years 9 months ago
2008
Evaluation of machine translation (MT) output is a challenging task. In most cases, there is no single correct translation. In the extreme case, two translations of the same input...
SEC
2008
13 years 9 months ago
2008
Differential power analysis (DPA) is a strong attack upon cryptographic devices such as smartcards. Correlation power analysis (CPA) is a specific form of DPA where the Hamming-wei...
IFIP8
2004
13 years 9 months ago
2004
: The heterogeneity of device capabilities, network conditions and user contexts that is associated with mobile computing has emphasized the need for more advanced forms of adaptat...