164 search results - page 31 / 33 » Refinement and Verification of Real-Time Systems |
114
Voted
OOPSLA
2000
Springer
15 years 4 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...
123
Voted
KBSE
2010
IEEE
14 years 11 months ago
2010
IEEE
Situated software systems are an emerging class of systems that are predominantly pervasive, embedded, and mobile. They are marked with a high degree of unpredictability and dynam...
117
Voted
WMCSA
2009
IEEE
15 years 7 months ago
2009
IEEE
Technology offers the potential to objectively monitor people‘s eating and activity behaviors and encourage healthier lifestyles. BALANCE is a mobile phone-based system for long...
133
Voted
DAC
2008
ACM
16 years 2 months ago
2008
ACM
Driven by increasing complexity and reliability demands, the Japanese Aerospace Exploration Agency (JAXA) in 2004 commissioned development of ELEGANT, a complete SpecC-based envir...
112
Voted
ACMICEC
2007
ACM
15 years 5 months ago
2007
ACM
Recommender systems are intelligent E-commerce applications that assist users in a decision-making process by offering personalized product recommendations during an interaction s...