4166 search results - page 678 / 834 » Automating the constraining process |
123
Voted
ICSM
2008
IEEE
15 years 10 months ago
2008
IEEE
A principal goal of agent-oriented software engineering (AOSE) is to provide the mechanisms for reusing, maintaining and allowing the evolution of agent-based software systems. Ou...
108
click to vote
IPPS
2008
IEEE
15 years 10 months ago
2008
IEEE
The problem of provisioning servers in a cluster infrastructure includes the issues of coordinating access and sharing of physical resources, loading servers with the appropriate ...
160
Voted
IRI
2008
IEEE
15 years 10 months ago
2008
IEEE
—Supply chain [2], [6] is an important component of business operations. Understanding its stochastic behaviors is the key to risk analysis and performance evaluation in supply c...
109
click to vote
IWPC
2008
IEEE
15 years 10 months ago
2008
IEEE
Modern software systems are typically large and complex, making comprehension of these systems extremely difficult. Experienced programmers comprehend code by seamlessly processi...
149
Voted
LICS
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we consider parity games defined by higher-order pushdown automata. These automata generalise pushdown automata by the use of higher-order stacks, which are nested ...