1356 search results - page 225 / 272 » A variable-free dynamic semantics |
109
click to vote
ACSC
2007
IEEE
15 years 10 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...
129
click to vote
DATE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
132
click to vote
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
As enterprises seek to engage in increasingly rich and agile forms of collaboration, they are turning towards service-oriented architectures that enable them to selectively expose...
138
Voted
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
NEBLO is a library and runtime system based on a structured overlay network. The API presented by NEBLO offers simple primitives and powerful mechanisms for programming generic p...
175
click to vote
SEMCO
2007
IEEE
15 years 10 months ago
2007
IEEE
One of the ultimate goals of natural language processing (NLP) systems is understanding the meaning of what is being transmitted, irrespective of the medium (e.g., written versus ...