1954 search results - page 318 / 391 » Improving Software Development Processes with Multicriteria ... |
111
click to vote
ASE
2008
15 years 1 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
129
Voted
FMICS
2008
Springer
15 years 3 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
102
click to vote
LREC
2008
15 years 3 months ago
2008
The purpose of Oriental COCOSDA is to provide the Asian community a platform to exchange ideas, to share information and to discuss regional matters on creation, utilization, diss...
147
click to vote
NAACL
2003
15 years 3 months ago
2003
Leximancer is a software system for performing conceptual analysis of text data in a largely language independent manner. The system is modelled on Content Analysis and provides u...
129
click to vote
ICSM
1995
IEEE
15 years 5 months ago
1995
IEEE
Organizations spend significant resources tracking customer satisfaction and managing service delivery. Although a great deal of effort is expended in understanding what goes on w...