3828 search results - page 639 / 766 » Proof-Based System Engineering Using a Virtual System Model |
99
Voted
PACT
1997
Springer
15 years 6 months ago
1997
Springer
Abstract. Recent trend in high-performance computing focuses on networks of workstations (NOWs) as a way ofrealizing cost-effective parallel machines. This has been due to the avai...
126
click to vote
ICRA
2010
IEEE
15 years 1 months ago
2010
IEEE
Multi-robot systems researchers have been investigating adaptive coordination methods for improving spatial coordination in teams. Such methods adapt the coordination method to th...
148
click to vote
EDBT
2009
ACM
15 years 9 months ago
2009
ACM
Data stream management systems usually have to process many long-running queries that are active at the same time. Multiple queries can be evaluated more efficiently together tha...
136
Voted
TASE
2007
IEEE
15 years 8 months ago
2007
IEEE
Telco services are evolving under several aspects: for instance, services may combine different telecommunication features (messaging, multi-media, etc.) and may be activated and...
113
click to vote
KBSE
2005
IEEE
15 years 8 months ago
2005
IEEE
Visual Languages (VLs) play an important role in software system development. Especially when looking at well-defined domains, a broad variety of domain specific visual language...