44 search results - page 7 / 9 » Partial Order Semantics of Types of Nets |
112
Voted
ICSOC
2003
Springer
15 years 8 months ago
2003
Springer
The web-services stack of standards is designed to support the reuse and interoperation of software components on the web. A critical step in the process of developing applications...
133
Voted
CONCUR
2000
Springer
15 years 8 months ago
2000
Springer
In the synchronous composition of processes, one process may prevent another process from proceeding unless compositions without a wellde ned productbehavior are ruled out. They ca...
127
Voted
CGO
2003
IEEE
15 years 9 months ago
2003
IEEE
With the emergence of software delivery platforms such as Microsoft’s .NET, reduced size of transmitted binaries has become a very important system parameter strongly affecting ...
141
Voted
CVPR
2001
IEEE
16 years 5 months ago
2001
IEEE
We extend a recently developed method [1] for learning the semantics of image databases using text and pictures. We incorporate statistical natural language processing in order to...
103
Voted
HYBRID
2009
Springer
15 years 10 months ago
2009
Springer
This paper aims to simplify recent efforts proposed by the Berkeley school in giving a formal semantics to the Ptolemy toolbox. We achieve this by developing a simple and elegant ...