500 search results - page 5 / 100 » Coalgebraic semantics for timed processes |
ZUM
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We present a new combination CSP-OZ-DC of three well researched formal techniques for the specification of processes, data and time: CSP [17], Object-Z [36], and Duration...
COLING
2000
13 years 11 months ago
2000
Most of the studies in the framework of Lambek calculus have considered the parsing process and ignored the generation process. This paper wants to rely on the close link between ...
COOPIS
2003
IEEE
14 years 3 months ago
2003
IEEE
The use of semantic knowledge in its various forms has become an important aspect in managing data in database and information systems. In the form of integrity constraints, it ha...
MOBIS
2008
13 years 11 months ago
2008
: Semantic technologies promise fully leveraging the content of enterprise and business process models by applying reasoning techniques to query the process space or using ontologi...
WECWIS
2005
IEEE
14 years 3 months ago
2005
IEEE
This paper describes an algorithm optimizing the discovery process for composed semantic web services. The algorithm can be used to improve discovery of appropriate component servi...