614 search results - page 39 / 123 » The Power of Methods With Parallel Semantics |
GCC
2005
Springer
14 years 2 months ago
2005
Springer
Meta modeling is an effective approach to implement interoperability among distributed and heterogeneous information sources on Web. MMFI (Framework for Metamodel Interoperability)...
IFM
2000
Springer
14 years 12 days ago
2000
Springer
This paper presents a formal language for the design of component-based enterprise system. The language (StAC) allows the usual parallel and sequential behaviours, but most signifi...
CADE
2007
Springer
14 years 9 months ago
2007
Springer
This paper combines predictive labeling with dependency pairs and reports on its implementation. Our starting point is the method of proving termination of rewrite systems using se...
ISPAN
2008
IEEE
14 years 3 months ago
2008
IEEE
- Many peer-to-peer file sharing systems have been proposed to take the locality and heterogeneity into account. The two-layered architecture is one of the most widespread systems ...
ICIP
2010
IEEE
13 years 6 months ago
2010
IEEE
Though fingerprint identification is widely used now, its imperfect performance for some high security applications, such as ATM, the access control of nuclear power stations and ...