6343 search results - page 940 / 1269 » Development of a Cartographic Language |
176
click to vote
ICEBE
2005
IEEE
16 years 11 days ago
2005
IEEE
Service-Oriented Computing (SOC) and Web Services (WS) provide a flexible computing platform for electronic business and commerce. Introducing policy-based computing to service-or...
198
click to vote
IEEESCC
2005
IEEE
16 years 10 days ago
2005
IEEE
Web service discovery is a key problem as the number of services is expected to increase dramatically. Service discovery at the present time is based primarily on keywords, or int...
193
click to vote
KBSE
2005
IEEE
16 years 10 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
150
click to vote
ASPDAC
2005
ACM
16 years 9 days ago
2005
ACM
- Many high-level description languages, such as C/C++ or Java, lack the capability to specify the bitwidth information for variables and operations. Synthesis from these specifica...
167
click to vote
JCDL
2005
ACM
16 years 9 days ago
2005
ACM
The process of authoring document-centric XML documents in humanities disciplines is very different from the approach espoused by the standard XML editing software with the data-c...