880 search results - page 170 / 176 » Model checking erlang programs: the functional approach |
194
Voted
IGARSS
2010
14 years 10 months ago
2010
This paper investigates the performance of machine learning methods for classifying rock types from hyperspectral data. The main objective is to test the impact on classification ...
138
Voted
QSHINE
2005
IEEE
15 years 9 months ago
2005
IEEE
Service availability in wireless networks is highly dependent on efficient resource allocation and guaranteed Quality of Service (QoS) amid overloads and failures. This paper add...
137
Voted
REX
1991
15 years 7 months ago
1991
We propose a framework for the formal speci cation and veri cation of timed and hybrid systems. For timed systems we propose a speci cation language that refers to time only throug...
129
Voted
JPDC
2008
15 years 3 months ago
2008
This research investigates the problem of robust static resource allocation for distributed computing systems operating under imposed Quality of Service (QoS) constraints. Often, ...
138
Voted
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
Due to the inherent nature of their heterogeneity, resource scarcity and dynamism, the provision of middleware for future networked embedded environments is a challenging task. In...