10038 search results - page 1783 / 2008 » Model Checking for Managers |
183
click to vote
RTSS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper, we study temperature-constrained hard realtime systems, where real-time guarantees must be met without exceeding safe temperature levels within the processor. Dynam...
149
click to vote
SKG
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper we present design and development of the semantic grid services for the flood forecasting simulations. We will highlight the corresponding architecture and the proc...
163
click to vote
WETICE
2006
IEEE
15 years 11 months ago
2006
IEEE
— Within service-oriented business environments, the non-routine processing of requests requires a greater degree of social interaction and learning in order to achieve an effect...
143
click to vote
WSE
2006
IEEE
15 years 11 months ago
2006
IEEE
A challenge of existing program comprehension approaches is to provide consistent and flexible representations for software systems. Maintainers have to match their mental models ...
128
Voted
ADBIS
2006
Springer
15 years 11 months ago
2006
Springer
Web communities involve networks of loosely coupled data sources. Members in those communities should be able to pose queries and gather results from all data sources in the networ...