3387 search results - page 390 / 678 » Model-Checking for Real-Time Systems |
194
click to vote
PRDC
2002
IEEE
16 years 12 days ago
2002
IEEE
Feature interaction is a kind of inconsistent conflict between multiple communication services and considered an obstacle to developing reliable telephony systems. In this paper ...
195
Voted
CALCO
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes the main features of several tools concerned with the analysis of either Maude specifications, or of extensions of such specifications: the ITP, MTT, CRC, Ch...
171
click to vote
CN
1999
15 years 7 months ago
1999
Internet telephony offers the opportunity to design a global multimedia communications system that may eventually replace the existing telephony infrastructure. We describe the up...
178
Voted
ICAI
2004
15 years 9 months ago
2004
- The Inductive Monitoring System (IMS) software was developed to provide a technique to automatically produce health monitoring knowledge bases for systems that are either difficu...
171
Voted
TJS
2010
15 years 5 months ago
2010
In this paper, we propose a context-aware food recommendation system for well-being care applications. The proposed system, called u-BabSang, provides individualized food recommend...