4211 search results - page 698 / 843 » Types as Abstract Interpretations |
173
click to vote
JSAI
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. This research aims at promoting sharing of knowledge about functionality of artifacts among engineers, which tends to be implicit in practice. In order to provide a conce...
150
click to vote
KIVS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Semantic Web services envision the automated discovery and selection of Web services. This can be realised by adding semantic information to advertised services and servi...
156
click to vote
MIDDLEWARE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The emergence of handheld devices associated with wireless technologies has introduced new challenges for middleware. First, mobility is becoming a key characteristic; mo...
134
click to vote
MSN
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. The growing advance in wireless communications and electronics makes the development of low-cost and low-power sensors possible. These sensors are usually small in size a...
140
click to vote
OTM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Process–aware information systems (PAIS) must provide sufficient flexibility to their users to support a broad spectrum of application scenarios. As a response to thi...