7766 search results - page 1110 / 1554 » Testing Nondeterminate Systems |
133
click to vote
CLUSTER
2006
IEEE
15 years 10 months ago
2006
IEEE
Tycho is a reference implementation of a combined extensible wide-area messaging framework with a built in distributed registry for publishing and discovering remote endpoints. Th...
123
click to vote
COMPSAC
2006
IEEE
15 years 10 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
136
click to vote
ECRTS
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper investigates real-time scheduling in a system whose energy reservoir is replenished by an environmental power source. The execution of tasks is deemed primarily energy-...
138
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
ABSTRACT. Risks associated with change in technology standards and uncertainty over the sharing of costs and benefits among trading partners impede interorganizational information ...
127
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
In building a successful website it is imperative that the design matches the organization’s objectives, which should be well defined. Clearly, different types of websites will ...