827 search results - page 115 / 166 » Patterns for Timed Property Specifications |
144
Voted
ICTAC
2009
Springer
15 years 23 days ago
2009
Springer
Online trading invariably involves dealings between strangers, so it is important for one party to be able to judge objectively the trustworthiness of the other. In such a setting,...
103
click to vote
RTCSA
2008
IEEE
15 years 9 months ago
2008
IEEE
In an attempt to substitute NOR flash with NAND flash and provide more memory to applications, embedded systems have to use demand paging. However, demand paging drastically degra...
129
click to vote
MM
2006
ACM
15 years 9 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
171
click to vote
CASES
2007
ACM
15 years 7 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
ISN
1995
Springer
15 years 6 months ago
1995
Springer
It has been demonstrated that the use of suitable metaphors in the user service interface can have a dramatic effect on the way in which the user perceives the services, depending ...