406 search results - page 65 / 82 » PASSing the provenance challenge |
114
click to vote
EMSOFT
2009
Springer
15 years 4 months ago
2009
Springer
System-on-Chip (SoC) is a promising paradigm to implement safety-critical embedded systems, but it poses significant challenges from a design and verification point of view. In ...
94
Voted
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
Communications systems, encompassing VoIP, IM, and other personal media, present different challenges for P2P environments than other P2P applications. In particular, reliable com...
HICSS
2007
IEEE
15 years 4 months ago
2007
IEEE
Recently, Continua Health Alliance has brought together a powerhouse team, including Cisco, IBM, Motorola and others, for personal telehealth products and services. This team will...
ATVA
2007
Springer
15 years 3 months ago
2007
Springer
Multi-valued Kripke structures are Kripke structures in which the atomic propositions and the transitions are not Boolean and can take values from some set. In particular, latticed...
AUSDM
2007
Springer
15 years 3 months ago
2007
Springer
Mining frequent patterns such as frequent itemsets is a core operation in many important data mining tasks, such as in association rule mining. Mining frequent itemsets in high-di...