98 search results - page 19 / 20 » A Proof Theoretic Approach to Operational Semantics |
ACSC
2007
IEEE
13 years 11 months ago
2007
IEEE
A web service is programmatically available application logic exposed over Internet. With the rapid development of e-commerce over Internet, web services have attracted much atten...
APSEC
2005
IEEE
13 years 11 months ago
2005
IEEE
Software-intensive systems are systems of systems that rely on complex interdependencies among themselves as well as with their operational environment to satisfy the required beh...
ITCC
2005
IEEE
13 years 11 months ago
2005
IEEE
Web services are becoming an important enabler of the Semantic Web. Besides the need for a rich description mechanism, Web Service information should be made available in an acces...
ASIAN
1998
Springer
13 years 9 months ago
1998
Springer
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-...
GG
2008
Springer
13 years 6 months ago
2008
Springer
Graph Languages1 emerged during the seventies from the necessity to process data structures with complex interrelations. Nowadays, various variants of these languages can be found...