13618 search results - page 323 / 2724 » The Newton Operating System |
134
Voted
ANSS
1999
IEEE
15 years 11 months ago
1999
IEEE
The results presented here are based on many years of experience of development and application of DYANA
177
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Future applications of unmanned aerial vehicles (UAVs) especially in military missions require the operation of UAVs with a high level of autonomy. Autonomous UAVs could be develo...
176
click to vote
ASE
2008
15 years 6 months ago
2008
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operati...
168
Voted
IPL
2006
15 years 6 months ago
2006
In this paper, we propose a new proof method for strong normalization of calculi with control operators, and, by this method, we prove strong normalization of the system
200
click to vote
KIVS
2009
Springer
16 years 1 months ago
2009
Springer
We present an integrated approach for supporting in-network sensor data processing in dynamic and heterogeneous sensor networks. The concept relies on data stream processing techni...