1831 search results - page 280 / 367 » Time Constraints in Workflow Systems |
ICSM
2002
IEEE
15 years 4 months ago
2002
IEEE
Testing for software security is a lengthy, complex and costly process. Currently, security testing is done using penetration analysis and formal verification of security kernels....
85
Voted
CDC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract— This paper studies linear switched differential algebraic equations (DAEs), i.e., systems defined by a finite family of linear DAE subsystems and a switching signal t...
ISLPED
2000
ACM
15 years 4 months ago
2000
ACM
Memory-processor integration o ers new opportunities for reducing the energy of a system. In the case of embedded systems, one solution consists of mapping the most frequently acc...
IPPS
1999
IEEE
15 years 4 months ago
1999
IEEE
Parallel computing is becoming increasing central and mainstream, driven both by the widespread availability of commodity SMP and high-performance cluster platforms, as well as th...
MM
1996
ACM
15 years 4 months ago
1996
ACM
Creating high-quality multimediapresentationsrequiresmuch skill, time, and effort. This is particularly true when temporal media, such as speech and animation, are involved. We de...