17450 search results - page 343 / 3490 » Numerical Methods with Applications |
114
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
A novel design for vortex modulation of a passive chaotic micromixer, named a circulation-disturbance micromixer (CDM), has been achieved and analyzed experimentally and numericall...
166
Voted
ICSE
1999
IEEE-ACM
15 years 8 months ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
146
click to vote
ESIAT
2009
IEEE
15 years 2 months ago
2009
IEEE
Remote method invocation is a distributed object model for the Java programming language that making distributed objects easy to implement and tousle. Remote method invocation appl...
136
Voted
KDD
2009
ACM
16 years 5 months ago
2009
ACM
The availability and the accuracy of the data dictate the success of a data mining application. Increasingly, there is a need to resort to on-line data collection to address the p...
141
click to vote
PDC
2004
ACM
15 years 10 months ago
2004
ACM
This paper describes experiences from using a field testing technique for collecting user experience information for evaluating mobile applications used in everyday life. Our tech...