Posted by cadsmith on February 6, 2011
Apps for Development seeks evaluations. Sysadmins called to improve testability. Coverity leads market in automated software testing. Topicmarks does document summarization. Wrangler simplifies form-based data cleanup. Linked open data adds value. EMC released Greenplum visual language for big data. Canvas learning management system announced.
White house publishes innovation strategy. Startup America supports entrepreneurship. National Power Grid has security issues. FBI search engine developed. Local Motors announces transport design battle. National Security Space Strategy published. Russians resume plans for spaceplane. China announces 2020 science goals. Clean nuclear power is a priority in China. Japanese elderly not quick to accept bot care companions. RoboEarth networks bots globally. Surgeons communicate with nurse bots using gesture recognition. David Hanson’s bot heads advance.
Video discusses implants for humans and brains for bots. Heart cells are made from skin. Accelerometer is made of paper. Nestle tests products in huge stomach. Neer tracks group member locations. Ericsson texts money transfers. AT&T expands mobile banking. Walgreens fill prescriptions by cell cam. IntoNow promotes social TV. Digital museums are browsable in Google Art Project. There were thirty-three recent links.
Verification and Validation in Systems Engineering
This book looks at how architecture frameworks use SysML and UML 2.0. Techniques are classified as informal, static, dynamic or formal. These use inspection, testing, simulation, reference model equivalence checking and theorem proving. It proposes a unified approach to evaluate designs, including comparative metrics and procedures There is a case study of an ATM. Semantics, probabilistic behavior and performance analysis of activity diagrams are considered using the PRISM model. There are thirteen chapters.
Posted in Uncategorized | Tagged: application, art, books, contest, data, education, energy, identity, innovation, linked-data, medical, mobile, nutrition, programming, robotics, science, security, sensors, space, startup, test, text, tv, urban | Leave a Comment »
Posted by cadsmith on August 2, 2009
Whether the internet is the primary achievement of the age, on a par with the wonders of the world, is yet to be seen, though the polar ice caps seem to be yielding quicker. As more components are joined, it seems to become like materials such as wood, metal, and plastic which are used extensively to rework structures, in this case adding interactive behaviors. Internet protocol is second-nature for networked machines. Other robust standards can therefore be built upon it. If a part of the web disappears, for example, it is relatively straightforward for it to grow back. It is not considered a biological phenomenon which would regenerate without knowledgeable human supporters, but that can possibly be emulated using automation that adjusts for prevalent local elements. As new regions are built out, and history is rewritten, each social region may take credit for inventing the thing, presumably finding workarounds for previous gotchas, the most immediate of which include at least spam, censorship, and weather. The last might be averted if the environment was allowed to give feedback symbolically rather than dramatically which might lead to advances in the areas of look-ahead, testability and accessibility, e.g. if coupled with augmented mobile sensing. Dangling some non-specific user-interfaces at various scales might hook unexpected demonstrations of intelligence if not new actors. At least, it could lead to some new ringtones.
Books included Boleyn-Fitzgerald 2010 on cognitive mapping (in process), Osherove 2009 on unit testing, Wang 2007 on hw test, Johnson 2006 on virtual instruments, and Munden 2004 on hw verification.
Documents added titles of 40+ pages for Jenkins 2008, Samadhiya 2008 (3), Thông tin giảng viên 2008, Pointe Technology, Rational Software 2001 and IEEE 1989.
New video was released for HWTSAM 3.
Posted in Uncategorized | Tagged: accessibility, books, hardware, internet, sensors, testability, unit test, verification, web | Leave a Comment »