921 search results - page 108 / 185 » Community Based Software Development - the Case of Movelex |
ERCIMDL
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Anyone offering content in a digital library is naturally interested in assessing its performance: how well does my system meet the users' information needs? Standar...
JODS
2008
13 years 8 months ago
2008
Joining up services in e-Government usually implies governmental agencies acting in concert without a central control regime. This requires to the sharing scattered and heterogeneo...
ACSD
2004
IEEE
13 years 12 months ago
2004
IEEE
Over the last 25 years, methods for supervisory control of discrete event systems and methods for submodule construction based on state machine specifications have been developed ...
ICSE
1999
IEEE-ACM
14 years 10 days ago
1999
IEEE-ACM
Formal verification methods are used only sparingly in software development. The most successful methods to date are based on the use of model checking tools. To use such he user ...
COMPSAC
2007
IEEE
14 years 20 hour ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...