4350 search results - page 323 / 870 » Case studies for contract-based systems |
153
click to vote
SIGMETRICS
2006
ACM
16 years 20 days ago
2006
ACM
Performance monitoring in most distributed systems provides minimal guidance for tuning, problem diagnosis, and decision making. Stardust is a monitoring infrastructure that repla...
166
Voted
ICTAI
2005
IEEE
16 years 9 days ago
2005
IEEE
Designing cooperative multi-robot systems (MRS) requires expert knowledge both in control and artificial intelligence. Formation control is an important research within the resea...
162
click to vote
SOUPS
2005
ACM
16 years 8 days ago
2005
ACM
Information visualization is an effective way to easily comprehend large amounts of data. For such systems to be truly effective, the information visualization designer must be aw...
192
click to vote
SBCCI
2004
ACM
16 years 4 days ago
2004
ACM
Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled...
191
click to vote
ISAS
2004
Springer
16 years 2 days ago
2004
Springer
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...