2470 search results - page 406 / 494 » Liveness-Preserving Simulation Relations |
97
Voted
CCGRID
2005
IEEE
15 years 6 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...
CNSR
2005
IEEE
15 years 6 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...
72
Voted
CSB
2005
IEEE
15 years 6 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...
122
Voted
EDOC
2005
IEEE
15 years 6 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...
84
Voted
HICSS
2005
IEEE
15 years 6 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, ...