13140 search results - page 415 / 2628 » Coupling Component Systems towards Systems of Systems |
232
click to vote
SOSP
2005
ACM
16 years 4 months ago
2005
ACM
We propose a primitive, called Pioneer, as a first step towards verifiable code execution on untrusted legacy hosts. Pioneer does not require any hardware support such as secure...
218
click to vote
AICT
2006
IEEE
16 years 1 months ago
2006
IEEE
— As the number of online auction sites has increased, interest towards providing reliable summaries, reputations, about the past behaviour of sellers has risen. Existing approac...
207
click to vote
ESOP
2005
Springer
16 years 1 months ago
2005
Springer
ite-state abstraction scheme such as predicate abstraction. The type system, which is also parametric, type checks exactly those programs that are accepted by the model checker. It...
154
click to vote
VISAPP
2008
15 years 9 months ago
2008
The permanent presence of underwater cameras on cabled observatories, such as the Victoria Experimental Network Under the Sea (VENUS) and Eye-In-The-Sea (EITS) on Monterey Accelera...
200
click to vote
JSS
2008
15 years 7 months ago
2008
The increasing trend toward complex software systems has highlighted the need to incorporate quality requirements earlier in the development cycle. We propose a new methodology fo...