5075 search results - page 779 / 1015 » Model-based interface development |
208
click to vote
HPDC
2009
IEEE
16 years 1 months ago
2009
IEEE
Long running High Performance Computing (HPC) applications at scale must be able to tolerate inevitable faults if they are to harness current and future HPC systems. Message Passi...
175
Voted
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
182
click to vote
WMCSA
2009
IEEE
16 years 1 months ago
2009
IEEE
Technology offers the potential to objectively monitor people‘s eating and activity behaviors and encourage healthier lifestyles. BALANCE is a mobile phone-based system for long...
162
click to vote
ICEIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Today XML is an essential technology for knowledge management within enterprises and dissemination of data over the Web. Therefore the efficient evaluation of XML queries has been ...
197
click to vote
ICETET
2009
IEEE
16 years 1 months ago
2009
IEEE
In today’s world of globalization, local language storage and retrieval is essential for the developing nations like India. As our country is diversified by languages and only 10...