15155 search results - page 2471 / 3031 » System Software |
189
click to vote
ARCS
2004
Springer
16 years 17 days ago
2004
Springer
: Mechatronic units are characterized by a complex interaction of functions from mechanics, electronics, communication and computer systems. These different fields of technology as...
159
click to vote
BIRTHDAY
2004
Springer
16 years 17 days ago
2004
Springer
: This paper studies the composition of modules that can hide information, over a very general class of logical systems called inclusive institutions. Two semantics are given for c...
191
click to vote
CBSE
2004
Springer
16 years 17 days ago
2004
Springer
Abstract. Long running applications often need to adapt due to changing requirements or changing environment. Typically, such adaptation is performed by dynamically adding or remov...
184
click to vote
ECAI
2004
Springer
16 years 16 days ago
2004
Springer
Abstract. In spite of the significant evolution of spelling and grammar checkers for word-processing software, the problem of judging the appropriateness of language usage in diff...
166
click to vote
FATES
2004
Springer
16 years 16 days ago
2004
Springer
We present a technique for specifying coverage criteria and a method for generating test suites for systems whose behaviours can be described as extended finite state machines (EF...