2410 search results - page 118 / 482 » Multiset Ordering Constraints |
129
Voted
CORR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. For Paradigm models, evolution is just-in-time specified coordination conducted by a special reusable component McPal. Evolution can be treated consistently and on-the-fl...
164
click to vote
CLEIEJ
2006
15 years 5 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
124
click to vote
TCAD
2002
15 years 4 months ago
2002
Test scheduling is an important problem in system-on-a-chip (SOC) test automation. Efficient test schedules minimize the overall system test application time, avoid test resource c...
187
click to vote
TCOM
2010
15 years 3 months ago
2010
Dynamic spectrum access (DSA) is an integral part of cognitive radio technology aiming at efficient management of the available power and bandwidth resources. The present paper d...
160
click to vote
CLOUDCOM
2010
Springer
15 years 3 months ago
2010
Springer
Commercial cloud offerings, such as Amazon's EC2, let users allocate compute resources on demand, charging based on reserved time intervals. While this gives great flexibilit...