2470 search results - page 406 / 494 » Liveness-Preserving Simulation Relations |
131
click to vote
CCGRID
2005
IEEE
15 years 10 months ago
2005
IEEE
— The global internet is rich in commodity resources but scarce in specialized resources. We argue that a grid framework can achieve better performance if it separates management...
129
click to vote
CNSR
2005
IEEE
15 years 10 months ago
2005
IEEE
Connectivity in mobile wireless ad-hoc networks is maintained by setting the transmission range so that a node can establish a link to any other node in the network either directl...
102
click to vote
CSB
2005
IEEE
15 years 10 months ago
2005
IEEE
Predicting and proper ranking of splice sites (SS) is a challenging problem in bioinformatics and machine learning communities. Proposed method of donor and acceptor SSs predictio...
156
click to vote
EDOC
2005
IEEE
15 years 10 months ago
2005
IEEE
— The paper proposes a more formalized definition of UML 2.0 Activity Diagram semantics. A subset of activity diagram constructs relevant for business process modeling is conside...
123
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
The economics of robot manufacturing is driving us toward situations in which a single human operator will be expected to split attention across multiple semiautonomous vehicles, ...