619 search results - page 91 / 124 » Formal Methods Meet Domain Specific Languages |
DEBU
2002
13 years 7 months ago
2002
Comprehensive semantic descriptions of Web services are essential to exploit them in their full potential, that is, discovering them dynamically, and enabling automated service ne...
GEOINFORMATICA
2008
13 years 7 months ago
2008
Topological relationships like overlap, inside, meet, and disjoint uniquely characterize the relative position between objects in space. For a long time, they have been a focus of...
COMSWARE
2006
IEEE
14 years 1 months ago
2006
IEEE
Given the fast growing technological progress in microelectronics and wireless communication devices, in the near future, it is foreseeable that Wireless Sensor Networks (WSN) wil...
DATE
1998
IEEE
13 years 12 months ago
1998
IEEE
The demands in terms of processing performance, communication bandwidth and real-time throughput of many multimedia applications are much higher than today's processing archi...
WOTUG
2008
13 years 9 months ago
2008
Abstract. This paper considers the issues involved in translating specifications described in the CSP B formal method into Handel-C. There have previously been approaches to transl...