3844 search results - page 652 / 769 » Modular interpreted systems |
151
click to vote
ICST
2008
IEEE
16 years 24 days 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...
179
click to vote
SUTC
2008
IEEE
16 years 23 days 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...
167
click to vote
HICSS
2007
IEEE
16 years 21 days 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...
151
click to vote
ISBI
2007
IEEE
16 years 20 days 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...
160
click to vote
LICS
2007
IEEE
16 years 20 days 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...