4272 search results - page 332 / 855 » A Case for Automatic System Evaluation |
194
click to vote
ATAL
2005
Springer
16 years 13 days ago
2005
Springer
This paper describes LS/ATN, Living Systems R Adaptive Transportation Networks, an agent-based solution we have developed to solve transportation problems in the charter business ...
224
click to vote
HASE
2008
IEEE
15 years 7 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
173
click to vote
ICAC
2007
IEEE
16 years 1 months ago
2007
IEEE
— Reactive systems are those that maintain an ongoing interaction with their environment at a speed dictated by the latter. Examples of such systems include web servers, network ...
169
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
231
click to vote
WOTUG
2008
15 years 8 months ago
2008
Most motion control systems for mechatronic systems are implemented on digital computers. In this paper we present an FPGA based solution implemented on a low cost Xilinx Spartan I...