1501 search results - page 36 / 301 » Towards Integration of Modeling Methods for Cyber-Physical S... |
124
click to vote
SIGOPSE
1994
ACM
15 years 2 months ago
1994
ACM
Integrated circuit cards or smart cards are now well-known. Applications such as electronic purses (cash units stored in cards), subscriber identification cards used in cellular te...
IJCAI
2007
15 years 22 days ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...
105
click to vote
IEEEHPCS
2010
14 years 9 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
104
click to vote
FLAIRS
2003
15 years 20 days ago
2003
This paper presents a way of improving computerbased with lifelike presence in learning environment. The approach combines Intelligent Tutoring Systems with research on human emot...
129
click to vote
DATE
2009
IEEE
15 years 6 months ago
2009
IEEE
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...