757 search results - page 54 / 152 » Composing Security-Aware Software |
124
click to vote
WOWMOM
2005
ACM
15 years 8 months ago
2005
ACM
This paper presents the design and the implementation of a platform allowing owners of mobile devices to exchange software application programs using a peer-to-peer scheme in hybr...
121
click to vote
ICN
2005
Springer
15 years 8 months ago
2005
Springer
In the next generation Internet, the network should not only be considered as a communication medium, but also as an endless source of services available to the end-systems. These ...
116
click to vote
FSTTCS
2004
Springer
15 years 8 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
91
Voted
CIARP
2003
Springer
15 years 8 months ago
2003
Springer
Is proposed a method for the automatic detection of dark fibres in wool tops based on image processing. A software which implements this method was developed, composed by five mo...
109
click to vote
CDC
2009
IEEE
15 years 8 months ago
2009
IEEE
— Global asymptotic stabilization for a class of nonlinear systems is addressed. The dynamics of these systems are composed of a linear part to which is added some nonlinearities...