1463 search results - page 227 / 293 » Software engineering practices in Singapore |
155
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Attribute reduction of an information system is a key problem in rough set theory and its applications. Using computational intelligence (CI) tools to solve such problems has rece...
524
click to vote
AC
1998
Springer
15 years 6 months ago
1998
Springer
Natural language processing has been in existence for more than fifty years. During this time, it has significantly contributed to the field of human-computer interaction in terms...
153
click to vote
DSE
1998
15 years 6 months ago
1998
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
142
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Verification of programs with invocations to unknown procedures is a practical problem, because in many scenarios not all codes of programs to be verified are available...
172
click to vote
ICFEM
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Coinduction is a major technique employed to prove behavioral properties of systems, such as behavioral equivalence. Its automation is highly desirable, despite the fact ...