Sciweavers

12551 search results - page 2164 / 2511
» Reuse in Systems Engineering
Sort
View
PPDP
2009
Springer
16 years 1 months ago
Reasoning with hypothetical judgments and open terms in hybrid
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...
Amy P. Felty, Alberto Momigliano
IOLTS
2007
IEEE
155views Hardware» more  IOLTS 2007»
16 years 1 months ago
On Derating Soft Error Probability Based on Strength Filtering
— Soft errors caused by ionizing radiation have emerged as a major concern for current generation of CMOS technologies and the trend is expected to get worse. A significant frac...
Alodeep Sanyal, Sandip Kundu
GPCE
2007
Springer
16 years 29 days ago
Simple and safe SQL queries with c++ templates
Most software applications use a relational database for data management and storage. Interaction with such a database is often done by letting the program construct strings with ...
Joseph Gil, Keren Lenz
IPSN
2007
Springer
16 years 29 days ago
MeshEye: a hybrid-resolution smart camera mote for applications in distributed intelligent surveillance
Surveillance is one of the promising applications to which smart camera motes forming a vision-enabled network can add increasing levels of intelligence. We see a high degree of i...
Stephan Hengstler, Daniel Prashanth, Sufen Fong, H...
172
Voted
WEBI
2007
Springer
16 years 27 days ago
PLF: A Publication List Web Page Finder for Researchers
Finding and keeping track of other researchers’ publication lists is an essential activity for every researcher, because they often contain citations not found elsewhere and may...
Kai-Hsiang Yang, Jen-Ming Chung, Jan-Ming Ho
« Prev « First page 2164 / 2511 Last » Next »