3844 search results - page 652 / 769 » Modular interpreted systems |
166
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
190
click to vote
SUTC
2008
IEEE
16 years 1 months ago
2008
IEEE
Testing and verification methodologies for Wireless Sensor Networks (WSN) systems in pre-deployment are vital for a successful deployment. Increased visibility of the internal st...
177
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The advent of the Internet has made the transmission of personally identifiable information common and often inadvertent to the user. As a consequence, individuals worry that comp...
161
click to vote
ISBI
2007
IEEE
16 years 1 months ago
2007
IEEE
Using a high-resolution (30 MHz) ultrasound system (Vevo 770, VisualSonics Inc.) and a retrospective ECGgating technique, an extremely high frame-rate (up to 8 kHz) was previously...
168
click to vote
LICS
2007
IEEE
16 years 1 months ago
2007
IEEE
When enriching the λ-calculus with rewriting, union types may be needed to type all strongly normalizing terms. However, with rewriting, the elimination rule (∨ E) of union typ...