8636 search results - page 1417 / 1728 » How Developers Copy |
114
click to vote
ENTCS
2007
15 years 4 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
132
click to vote
ENTCS
2007
15 years 4 months ago
2007
Most software is fragile: even the slightest error, such as changing a single bit, can make it crash. As software complexity has increased, development techniques have kept pace t...
136
click to vote
ENTCS
2007
15 years 4 months ago
2007
The timed concurrent constraint programming language (tccp in short) was introduced for modeling reactive systems. This language allows one to model in a very intuitive way typica...
125
click to vote
JSAC
2006
15 years 4 months ago
2006
Abstract-- Information about the topology and link-level characteristics of a network is critical for many applications including network diagnostics and management. However, this ...
143
click to vote
MMS
2008
15 years 4 months ago
2008
While many multimedia systems allow the association of semantic annotations with media assets, there is no agreedupon way of sharing these among systems. As an initial step within...