5550 search results - page 718 / 1110 » Different Approaches to Proof Systems |
200
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
Model-based development of highly complex software systems leads to large models. Storing them in repositories offers the possibility to work with these models in a distributed env...
205
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
—We consider the design of a P2P network for the distribution of real-time video streams through the Internet. We follow a multi-source approach where the stream is decomposed in...
169
click to vote
IV
2008
IEEE
16 years 1 months ago
2008
IEEE
In many application fields, the statistical properties of data sets are of great interest for data analysts. Since local variations can occur especially in large data sets, it is...
204
Voted
IJCNN
2007
IEEE
16 years 1 months ago
2007
IEEE
— The assessment of highly-risky situations at road intersections have been recently revealed as an important research topic within the context of the automotive industry. In thi...
193
click to vote
SRDS
2007
IEEE
16 years 1 months ago
2007
IEEE
As the use of the Internet continues to grow explosively, edge computing has emerged as an important technique for delivering Web content over the Internet. Edge computing moves d...