1226 search results - page 89 / 246 » Proofs, Programs and Abstract Complexity |
117
Voted
DASIP
2010
14 years 10 months ago
2010
The elaboration of new systems on embedded targets is becoming more and more complex. In particular, multimedia devices are now implemented using mixed hardware and software archi...
142
click to vote
ICOODB
2010
15 years 1 months ago
2010
Abstract. New emerging applications including genomic, multimedia, and geospatial technologies have necessitated the handling of complex application objects that are highly structu...
113
click to vote
CADE
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. The little theories method, in which mathematical reasoning is distributed across a network of theories, is a powerful technique for describing and analyzing complex syst...
143
Voted
PKC
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Thwarting unlawful redistribution of information sold electronically is a major problem of information-based electronic commerce. Anonymous fingerprinting has appeared a...
117
Voted
NCA
2010
IEEE
14 years 10 months ago
2010
IEEE
Programmability is an increasingly important barrier to the deployment of multi-robot systems, as no prior approach allows routine composition and reuse of general aggregate behavi...