3256 search results - page 287 / 652 » Applications of Formal Methods to System Design and Verifica... |
188
click to vote
AISS
2010
15 years 4 months ago
2010
In recent years, e-government interoperability frameworks (e-GIFs) and enterprise architectures (EAs) have been extensively developed as mechanism tools for achieving the interope...
193
click to vote
VISUALIZATION
1996
IEEE
15 years 10 months ago
1996
IEEE
Visualization of CFD data for turbomachinery design poses some special requirements which are often not addressed by standard flow visualization systems. We discuss the issues inv...
177
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
The success of many innovative Web applications is not based on the content they produce ? but on how they combine and link existing content. Older Web Engineering methods lack fl...
171
click to vote
LCTRTS
2001
Springer
15 years 11 months ago
2001
Springer
When the Asynchronous Method Invocation (AMI) model was introduced into the CORBA specification, client applications benefited from the ability to invoke nonblocking two-way reque...
200
click to vote
BIOSIG
2003
15 years 8 months ago
2003
: Speaker recognition in applications of our daily lives is not yet in widespread use. In order for biometric technology to make sense for real-world authentication applications an...