1106 search results - page 191 / 222 » Software That Can Think and Do |
CHI
2003
ACM
14 years 7 months ago
2003
ACM
A new software tool for user-interface development and assessment of ubiquitous computing applications is available for CHI researchers. The software permits researchers to use co...
RECOMB
2007
Springer
14 years 7 months ago
2007
Springer
In the past decade, genome rearrangements have attracted increasing attention from both biologists and computer scientists as a new type of data for phylogenetic analysis. Methods ...
ACSAC
2009
IEEE
14 years 2 months ago
2009
IEEE
: Metrics are both fashionable and timely: many regulations that affect cybersecurity rely upon metrics – albeit, of the checklist variety in many cases – to ascertain complian...
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
Data races are one of the most common and subtle causes of pernicious concurrency bugs. Static techniques for preventing data races are overly conservative and do not scale well t...
ICST
2009
IEEE
14 years 2 months ago
2009
IEEE
—Model-based test derivation for real-time system has been proven to be a hard problem for exhaustive test suites. Therefore, techniques for real-time testing do not aim to exhau...