2421 search results - page 116 / 485 » Integrity Assurance Technique Using Determinant Approach |
110
click to vote
DATE
2000
IEEE
15 years 5 months ago
2000
IEEE
This paper presents a methodology to retarget the technique of compiled simulation for Digital Signal Processors DSPs using the modeling language LISA. In the past, the principl...
91
Voted
EICS
2009
ACM
15 years 7 months ago
2009
ACM
This paper discusses the use of formal methods for analysing human-computer interaction. We focus on the mode confusion problem that arises whenever the user thinks that the syste...
116
Voted
EWSN
2006
Springer
16 years 10 days ago
2006
Springer
Time synchronization is a crucial component of a large class of sensor network applications, traditionally implemented as a standalone middleware service that provides a virtual gl...
ATAL
2003
Springer
15 years 6 months ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
DMKD
2004
ACM
15 years 6 months ago
2004
ACM
Record linkage, the problem of determining when two records refer to the same entity, has applications for both data cleaning (deduplication) and for integrating data from multipl...