Sciweavers

885 search results - page 92 / 177
» Process Patterns for COTS-Based Development
Sort
View
141
Voted
JFP
2010
142views more  JFP 2010»
15 years 1 months ago
Linear type theory for asynchronous session types
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...
Simon J. Gay, Vasco Thudichum Vasconcelos
120
Voted
JUCS
2010
150views more  JUCS 2010»
15 years 1 months ago
SOM Clustering to Promote Interoperability of Directory Metadata: A Grid-Enabled Genetic Algorithm Approach
: Directories provide a general mechanism for describing resources and enabling information sharing within and across organizations. Directories must resolve differing structures a...
Lei Li, Vijay K. Vaishnavi, Art Vandenberg
92
Voted
ICONIP
2009
15 years 10 days ago
A Rock Structure Recognition System Using FMI Images
Formation Micro Imager (FMI) can directly reflect changes of wall stratum and rock structures. It is also an important method to divide stratum and identify lithology. However, peo...
Xu-Cheng Yin, Qian Liu, Hong-Wei Hao, Zhi-Bin Wang...
140
Voted
ENTCS
2010
97views more  ENTCS 2010»
14 years 12 months ago
A Framework for Modelling and Simulating Networks of Cells
Several complex biological phenomena are to be modelled in terms of a large and dynamic network of compartments, where the interplay between inter-compartment and intra-compartmen...
Sara Montagna, Mirko Viroli
149
Voted
TSMC
2010
14 years 9 months ago
Advances in View-Invariant Human Motion Analysis: A Review
Abstract--As viewpoint issue is becoming a bottleneck for human motion analysis and its application, in recent years, researchers have been devoted to view-invariant human motion a...
Xiaofei Ji, Honghai Liu