1425 search results - page 85 / 285 » Distributed Development of Complex Software Systems with Obj... |
CORR
2004
Springer
13 years 9 months ago
2004
Springer
Abstract -- The development of cost-effective highperformance parallel computing on multi-processor supercomputers makes it attractive to port excessively time consuming simulation...
ICRA
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
Software systems of today are characterized by increasing size, complexity, distribution, heterogeneity, and lifespan. Understanding and supporting the interaction between softwar...
FTRTFT
2000
Springer
14 years 21 days ago
2000
Springer
Formal methods can improve the development of systems with high quality requirements, since they usually o er a precise, nonambiguous speci cation language and allow rigorous veri ...
VISUALIZATION
1999
IEEE
14 years 1 months ago
1999
IEEE
Recent interest in large displays has led to renewed development of tiled displays, which are comprised of several individual displays arranged in an array and used as one large l...