9272 search results - page 1363 / 1855 » Process Management Agent |
190
click to vote
ECBS
2003
IEEE
16 years 12 days ago
2003
IEEE
We present an algebraic framework for evidence exploration: the process of interpreting, manipulating, and navigating the proof structure or evidence produced by a model checker w...
173
click to vote
ICALT
2003
IEEE
16 years 12 days ago
2003
IEEE
Since the approval of IEEE LOM Draft Standard and the advance of network-driven learning technology, a large number of resource database constructors, content developers and learn...
190
click to vote
ICSM
2003
IEEE
16 years 11 days ago
2003
IEEE
: The objective of this paper is to identify those factors, which are critical to the success of a maintenance operation in general and to apply them to a particular maintenance pr...
233
click to vote
IEEEAMS
2003
IEEE
16 years 11 days ago
2003
IEEE
The last three decades proved Moore’s Law. We witnessed an exponential increase in processing power, memory capacity and communication bandwidth and we expect this increase to c...
197
click to vote
ITCC
2003
IEEE
16 years 11 days ago
2003
IEEE
This paper describes efforts underway within Internet2 to create a secure federated IP based videoconferencing model. The objective is to create an environment that is user-friend...