198 search results - page 29 / 40 » Describing Secure Interfaces with Interface Automata |
111
Voted
EUPROJECTS
2006
Springer
15 years 1 months ago
2006
Springer
Pervasive Computing has postulated to invisibly integrate technology into everyday objects in such a way, that these objects turn into smart things. Not only a single object of thi...
89
Voted
IPPS
2008
IEEE
15 years 4 months ago
2008
IEEE
In this paper, we introduce the new technique of HighConfidence Software Monitoring (HCSM), which allows one to perform software monitoring with bounded overhead and concomitantl...
JCDL
2004
ACM
15 years 3 months ago
2004
ACM
The Digital Collection and Archives (DCA) in partnership with Academic Technology (AT) at Tufts University developed a digital library solution for long-term storage and integrati...
WOSS
2004
ACM
15 years 3 months ago
2004
ACM
Self-managed software requires monitoring and code changes to an executing program. One technology that enables such self management is software dynamic translation (SDT), which a...
106
click to vote
ISSA
2004
14 years 11 months ago
2004
Web Services technology enables organisations to exploit software as a service. Services are accessed by method invocations. Method interfaces are described and published, and may...