13618 search results - page 168 / 2724 » The Newton Operating System |
154
click to vote
WAIM
2005
Springer
15 years 12 months ago
2005
Springer
Unlike Internet portals, a typical Web Information System contains lots of user operations. However, existing Web design frameworks focus exclusively on data presentation: the proc...
164
click to vote
IANDC
2006
15 years 6 months ago
2006
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic...
132
click to vote
AUTOMATICA
2002
15 years 6 months ago
2002
This paper addresses the issue of state-space realizations for nonlinear adjoint operators. In particular, the relationships between nonlinear Hilbert adjoint operators, Hamiltoni...
186
click to vote
ICCS
2009
Springer
15 years 11 months ago
2009
Springer
MPI-I/O is a part of the MPI-2 specification defining file I/O operations for parallel MPI applications. Compared to regular POSIX style I/O functions, MPI I/O offers features ...
146
click to vote
ICRA
1999
IEEE
15 years 10 months ago
1999
IEEE
Automated planning and scheduling, including automated path planning, has been integrated with an Internet-based distributed operations system for planetary rover operations. The ...