875 search results - page 84 / 175 » Specification Modules for Methodical System Development |
110
click to vote
SMC
2007
IEEE
15 years 8 months ago
2007
IEEE
— In the present paper, we consider the automatic text categorization as a series of information processing and propose a new classification technique called the Frequency Ratio ...
154
click to vote
OPODIS
2004
15 years 3 months ago
2004
Embedded Systems are components integrating software and hardware jointly and specifically designed to provide given functionalities. These components may be used in many different...
108
click to vote
ICRA
2007
IEEE
15 years 8 months ago
2007
IEEE
— For certain applications, field robotic systems require small size for cost, weight, access, stealth or other reasons. Small size results in constraints on critical resources s...
115
click to vote
ERLANG
2008
ACM
15 years 4 months ago
2008
ACM
When creating software, data types are the basic bricks. Most of the time a programmer will use data types defined in library modules, therefore being tested by many users over ma...
117
click to vote
FORTE
2004
15 years 3 months ago
2004
Abstract. We present automated techniques for the explanation of counterexamples, where a counter-example should be understood as a sequence of program statements. Our approach is ...