3095 search results - page 352 / 619 » Ubiquitous presence systems |
136
click to vote
TPHOL
2003
IEEE
15 years 12 months ago
2003
IEEE
Coverage checking is the problem of deciding whether any closed term of a given type is an instance of at least one of a given set of patterns. It can be used to verify if a functi...
148
click to vote
ICES
2003
Springer
15 years 12 months ago
2003
Springer
Most evolutionary approaches to fault recovery in FPGAs focus on evolving alternative logic configurations as opposed to evolving the intra-cell routing. Since the majority of tra...
167
Voted
ISWC
2002
IEEE
15 years 11 months ago
2002
IEEE
Inspired by perception in biological systems, distribution of a massive amount of simple sensing devices is gaining more support in detection applications. A focus on fusion of se...
159
click to vote
WECWIS
2000
IEEE
15 years 11 months ago
2000
IEEE
XML documents are semistructured and the structure of the documents is embedded in the tags. Although XML documents can be accompaniedby a DTD that defines the structure of the d...
225
click to vote
DIAU
2000
Springer
15 years 11 months ago
2000
Springer
In multilaterally secure intrusion detection systems (IDS) anonymity and accountability are potentially conflicting requirements. Since IDS rely on audit data to detect violations...