6279 search results - page 243 / 1256 » Objects as session-typed processes |
184
click to vote
ICFEM
1998
Springer
15 years 10 months ago
1998
Springer
Open component architectures, such as CORBA, allow software systems to be composed of independent components. The behavior of components is described with a mixture of an interfac...
188
click to vote
ISN
2000
Springer
15 years 10 months ago
2000
Springer
The demand for a great variety of sophisticated telecommunications services with multimedia characteristics is increasing. This trend highlights the need for the efficient creation...
175
click to vote
ICCL
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
179
click to vote
MVA
2007
15 years 8 months ago
2007
In the last few years, computer vision and image processing techniques have been developed to solve many problems. One of them, graph cut method is powerful optimization technique...
150
click to vote
DMDW
2001
15 years 8 months ago
2001
OLAP defines a set of data warehousing query tools characterized by providing a multidimensional view of data. Information can be shown at different aggregation levels (often call...