7288 search results - page 189 / 1458 » On process rate semantics |
124
click to vote
ESWS
2005
Springer
16 years 19 hour ago
2005
Springer
This paper describes BT Wholesale’s B2B Gateway as an approach to provide BusinesstoBusiness integration within the Telecommunications sector. ...
157
click to vote
FCT
2003
Springer
15 years 11 months ago
2003
Springer
This paper presents a method for the decomposition of HML formulae. It can be used to decide whether a process algebra term satisfies a HML formula, by checking whether subterms s...
170
click to vote
TPHOL
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
175
click to vote
NLDB
2010
Springer
15 years 10 months ago
2010
Springer
We present a lightweight, user-centred approach for document navigation and analysis that is based on an ontology of text mining results. This allows us to bring the result of exis...
174
click to vote
ADBIS
2010
Springer
15 years 8 months ago
2010
Springer
This paper presents a new method for image retrieval using a graph object oriented database for processing the information extracted from the image through the segmentation process...