3281 search results - page 363 / 657 » An Approach to use Executable Models for Testing |
152
click to vote
CODES
2008
IEEE
15 years 11 months ago
2008
IEEE
To provide Quality of Service (QoS) guarantees in open and unpredictable environments, the utilization control problem is defined to keep the processor utilization at the schedula...
192
click to vote
AAAI
2008
15 years 7 months ago
2008
Email client software is widely used for personal task management, a purpose for which it was not designed and is poorly suited. Past attempts to remedy the problem have focused o...
134
click to vote
STEP
2005
IEEE
15 years 10 months ago
2005
IEEE
Interoperability in service oriented environments is heavily in uenced by the view that the cooperating services have on their data. e term service for the abstract contract concl...
187
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
151
click to vote
IS
2008
15 years 4 months ago
2008
Many companies have adopted Process-aware Information Systems (PAIS) to support their business processes in some form. On the one hand these systems typically log events (e.g., in ...