1299 search results - page 83 / 260 » EMC - A modeling method for developing web-based application... |
129
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
One of the main issues that inhibit the development of contextaware mobile applications is the lack of systematic methods for sensor data acquisition. This lack, however, is a res...
149
click to vote
AIME
2007
Springer
15 years 10 months ago
2007
Springer
Software applications that work with biomedical data have significant knowledge-management requirements. Formal knowledge models and knowledge-based methods can be very useful in m...
142
click to vote
ICPP
2008
IEEE
15 years 10 months ago
2008
IEEE
Numerical simulations in computational physics, biology, and finance, often require the use of high quality and efficient parallel random number generators. We design and optimi...
147
click to vote
DATE
2006
IEEE
15 years 10 months ago
2006
IEEE
The topic on platform-based system modeling has received a great deal of attention today. One of the important tasks that significantly affect the effectiveness and efficiency of ...
124
click to vote
FMICS
2008
Springer
15 years 5 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...