1147 search results - page 134 / 230 » Termination in language-based systems |
80
Voted
ICAS
2009
IEEE
15 years 7 months ago
2009
IEEE
—As IMS becomes more available to academia and industry, the requirements for IMS clients are growing faster than ever. From all IMS components, IMS clients are vital components ...
82
Voted
IWANN
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We explore the use of mobile social network technology combined with modern mobile phone hardware as a platform for programming applications in the elder care area. An ap...
115
Voted
MM
2009
ACM
15 years 7 months ago
2009
ACM
With the proliferation of diverse multimedia terminals, the request for elegantly retargeting videos to different display devices is evident, especially in sports. This demonstra...
CSFW
2008
IEEE
15 years 7 months ago
2008
IEEE
DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
128
click to vote
RTSS
2008
IEEE
15 years 7 months ago
2008
IEEE
In this paper, we address the problem of symbolically computing the region in the parameter’s space that guarantees a feasible schedule, given a set of real-time tasks character...