554 search results - page 38 / 111 » Communicating Structures for Modeling Large-scale Systems |
PTS
2007
15 years 1 months ago
2007
In a component oriented approach, components are designed, developed and validated in order to be widely used. However one cannot always foresee which specific uses will be made o...
125
click to vote
UIC
2007
Springer
15 years 5 months ago
2007
Springer
As wireless communication advances, research on location-based services using mobile devices has attracted interest, which provides information and services related to user’s phy...
119
click to vote
P2P
2006
IEEE
15 years 5 months ago
2006
IEEE
Large-scale distributed data management with P2P systems requires the existence of similarity operators for queries as we cannot assume that all users will agree on exactly the sa...
109
click to vote
ICFEM
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. The success of industrial-scale model checkers such as Uppaal [3] or NuSMV [12] relies on the efficiency of their respective symbolic state space representations. While d...
CODES
1999
IEEE
15 years 4 months ago
1999
IEEE
We propose a system synthesis method which bridges the gap between a highly abstract functional model and an efficient hardware or software implementation. The functional model is...