13489 search results - page 366 / 2698 » Operating System |
152
click to vote
FUIN
2007
15 years 6 months ago
2007
Abstract. In the paper two notions related to local (distributed) computations are identified and discussed. The first one is the notion of reducible graphs. A graph is reducible...
149
click to vote
SEMWEB
2007
Springer
16 years 25 days ago
2007
Springer
This paper proposes a framework for ontology-based design support systems, called DRIFT (Design Rationale Integration Framework of Three layers), which records, structures and retr...
156
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
It has been reported that virtual reality can be a useful tool for ergonomics study. The proposed integrated simulation system aims at measuring operator’s performance in an int...
171
click to vote
ICMCS
1999
IEEE
15 years 11 months ago
1999
IEEE
We present a semi-automatic image-based modeling system to make 3-D models from photographs. The human operator intervenes only for simple and straightforward tasks. The design of...
169
click to vote
PACT
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...