7109 search results - page 1239 / 1422 » Process Algebra with Combinators |
165
click to vote
SOCIALCOM
2010
15 years 4 months ago
2010
It is a widely held belief among designers of social tagging systems that tag clouds represent a useful tool for navigation. This is evident in, for example, the increasing number ...
186
click to vote
USS
2010
15 years 4 months ago
2010
Web browsers are increasingly designed to be extensible to keep up with the Web's rapid pace of change. This extensibility is typically implemented using script-based extensi...
204
click to vote
VLSID
2010
IEEE
15 years 4 months ago
2010
IEEE
Directed test generation is important for the functional verification of complex system-on-chip designs. SAT based bounded model checking is promising for counterexample generatio...
182
click to vote
DSN
2009
IEEE
15 years 4 months ago
2009
IEEE
Preserving the availability and integrity of networked computing systems in the face of fast-spreading intrusions requires advances not only in detection algorithms, but also in a...
174
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: The performance potential of multistatic sonar operations has been investigated by several research institutes and proven in numerous international sea trials during the last yea...