496 search results - page 69 / 100 » Model reduction of periodic systems: a lifting approach |
ECIS
2001
13 years 10 months ago
2001
Electronic procurement has been widely embraced by governments seeking the administrative efficiencies and cost reductions experienced in the private sector. The enthusiastic resp...
CHI
2005
ACM
14 years 9 months ago
2005
ACM
The computer and communication systems that office workers currently use tend to interrupt at inappropriate times or unduly demand attention because they have no way to determine ...
CBSE
2006
Springer
14 years 6 days ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
ECRTS
2007
IEEE
14 years 2 months ago
2007
IEEE
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...
WOSS
2004
ACM
14 years 1 months ago
2004
ACM
Complex distributed Internet services form the basis not only of e-commerce but increasingly of mission-critical networkbased applications. What is new is that the workload and in...