3771 search results - page 359 / 755 » Process modeling for future technologies |
108
Voted
COOPIS
2002
IEEE
15 years 10 months ago
2002
IEEE
Abstract. Filtered delivery model of message passing in an objectoriented distributed computing environment facilitates separation of message control from message processing in a t...
135
click to vote
IDEAS
2002
IEEE
15 years 10 months ago
2002
IEEE
Based on the recent progress of digital cartography, global positioning systems (GPSs), and hand-held devices, there are growing needs of technology that provides neighborhood inf...
154
click to vote
ASWEC
2010
IEEE
15 years 5 months ago
2010
IEEE
—Formal models are often used to verify systems and prove their correctness, and ensure that transformed models remain consistent to the original system. However, formal techniqu...
120
click to vote
SIGIR
2009
ACM
15 years 11 months ago
2009
ACM
Documents in many corpora, such as digital libraries and webpages, contain both content and link information. To explicitly consider the document relations represented by links, i...
161
click to vote
CEC
2003
IEEE
15 years 10 months ago
2003
IEEE
AbstractRecent advances in gene-expression profiling technologies provide large amounts of gene expression data. This raises the possibility for a functional understanding of geno...