8492 search results - page 190 / 1699 » Modelling and Design of Multi-Agent Systems |
128
click to vote
ETFA
2005
IEEE
15 years 10 months ago
2005
IEEE
In High Volume Manufacturing (HVM), system control is shared between automation and human workers. The social organisation of workers plays an important role in supporting human d...
146
click to vote
ICFEM
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
166
click to vote
WCRE
2009
IEEE
15 years 11 months ago
2009
IEEE
—Object-oriented software quality models usually use metrics of classes and of relationships among classes to assess the quality of systems. However, software quality does not de...
140
click to vote
COORDINATION
2006
Springer
15 years 8 months ago
2006
Springer
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
143
click to vote
PDPTA
2004
15 years 5 months ago
2004
High-throughput real-time systems require non-standard and costly hardware and software solutions. Modern workstation can represent a credible alternative to develop realtime inte...