2555 search results - page 121 / 511 » Putting complex systems to work |
149
click to vote
ERSHOV
2003
Springer
15 years 10 months ago
2003
Springer
The article presents an approach to model based testing of complex systems based on a generalization of finite state machines (FSM) and input output state machines (IOSM). The app...
142
click to vote
ICRA
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper describes a set of tools that allows a developer to instrument an autonomous control system to log data at run-time and then analyze that data to verify correct program...
200
click to vote
AIMDM
1999
Springer
15 years 9 months ago
1999
Springer
Knowledge representation has always been a major problem in the design of medical decision support systems. In this paper we present a new methodology to represent and reason about...
159
click to vote
ECRTS
2004
IEEE
15 years 9 months ago
2004
IEEE
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
200
click to vote
ICDE
2007
IEEE
15 years 7 months ago
2007
IEEE
The goal of the work in this paper is towards the incorporation of context in recommender systems in the domain of mobile applications. The approach recommends mobile applications...