1021 search results - page 76 / 205 » Pure Subtype Systems |
131
click to vote
ATAL
2008
Springer
15 years 4 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...
123
click to vote
ESWA
2006
15 years 2 months ago
2006
In the past, the selection of resources to execute various warehouse operation services was done solely by experts. In this paper, a RFIDbased Resource Management System (RFID-RMS...
103
click to vote
RP
2010
Springer
15 years 22 days ago
2010
Springer
Abstract. In this paper we consider ν-MSR, a formalism that combines the two main existing approaches for multiset rewriting, namely MSR and CMRS. In ν-MSR we rewrite multisets o...
105
click to vote
CDC
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--In this note, we consider the robust stability of sampleddata systems with respect to continuous-time delay. We argue that many results in the literature implicitly assum...
112
Voted
CBSE
2006
Springer
15 years 4 months ago
2006
Springer
Non-functional specifications of software components are considered an important asset in constructing dependable systems, since they enable early Quality of Service (QoS) evaluati...