4382 search results - page 452 / 877 » Query by Semantic Example |
129
click to vote
AMAST
1997
Springer
15 years 9 months ago
1997
Springer
A symbolic semantics for Full LOTOS in terms of symbolic transition systems is de ned, following the approach taken for message passing CCS in HL95a], altered to take account of th...
143
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
Caise, a collaborative software engineering architecture, provides extensible real-time support for collaboration between participating tools and users. The architecture maintains...
EUROMICRO
2004
IEEE
15 years 8 months ago
2004
IEEE
A common challenge in the development of web applications today lies in the handling of unforeseen navigation steps initiated by the user through the browser's Back, Forward ...
145
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
167
click to vote
FLAIRS
2008
15 years 7 months ago
2008
Ontology alignment is regarded as one of the core tasks in many Web services. It is concerned with finding the correspondences between separate ontologies by identifying concepts ...