4350 search results - page 157 / 870 » Case studies for contract-based systems |
106
click to vote
CSREAEEE
2006
15 years 5 months ago
2006
The Ministry of Labor in Saudi Arabia started E-Government applications three years ago. The Ministry has undertaken major attempts to re-engineer its interface with the labor and...
108
click to vote
CORR
2011
Springer
14 years 11 months ago
2011
Springer
Abstract. We consider the line planning problem in public transportation, under a robustness perspective. We present a mechanism for robust line planning in the case of multiple li...
159
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
114
click to vote
HICSS
2008
IEEE
15 years 10 months ago
2008
IEEE
The European Commission, through its Framework Programme aims to stimulate the development of sustained collaborative research networks across Europe. Social network analysis (SNA...
111
click to vote
HICSS
2006
IEEE
15 years 10 months ago
2006
IEEE
Land parcels are the foundation for many aspects of public and community life. This report presents the findings of a study of information about land parcels in New York State. It...