3108 search results - page 185 / 622 » An Approach to Incremental Design of Distributed Embedded Sy... |
119
Voted
PACT
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this note a general approach to designing distributed systems based on coupling existing software tools is presented and illustrated by two examples. Utilization of th...
145
Voted
KES
2006
Springer
15 years 3 months ago
2006
Springer
The trends and recent changes in logistics lead to complex and partially conflicting requirements on logistic planning and control systems. Due to the lack of efficiency of curren...
142
Voted
EMSOFT
2007
Springer
15 years 9 months ago
2007
Springer
We provide an algebraic formalisation of connectors in BIP. These are used to structure interactions in a component-based system. A connector relates a set of typed ports. Types a...
128
Voted
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
Commitments model important aspects of agent interactions, especially those arising in e-business. A small number of patterns of commitments accommodate a variety of realistic int...
141
Voted
ATAL
2008
Springer
15 years 5 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...