16606 search results - page 464 / 3322 » Context Modeling: Task Model and Practice Model |
202
click to vote
DSN
2007
IEEE
15 years 10 months ago
2007
IEEE
We consider cluster systems with multiple nodes where each server is prone to run tasks at a degraded level of service due to some software or hardware fault. The cluster serves t...
183
click to vote
AICCSA
2001
IEEE
15 years 10 months ago
2001
IEEE
: A software process is defined as a description of various steps that must be carried out by process agents to pursue the goals of software engineering. To support a software proc...
201
click to vote
IEEEARES
2006
IEEE
16 years 26 days ago
2006
IEEE
— Service Oriented Architectures with underlying technologies like web services and web services orchestration have opened the door to a wide range of novel application scenarios...
146
click to vote
BPM
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The use of subprocesses in large process models is an important step in modeling practice to handle complexity. While there are several advantages attributed to such a mo...
196
click to vote
ENTCS
2007
15 years 6 months ago
2007
Bounded Model Checking (BMC) is one of the most paradigmatic practical applications of Boolean Satisfiability (SAT). The utilization of SAT in model checking has allowed signifi...