4166 search results - page 678 / 834 » Automating the constraining process |
168
click to vote
ICSM
2008
IEEE
16 years 26 days 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...
157
click to vote
IPPS
2008
IEEE
16 years 26 days 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 ...
212
click to vote
IRI
2008
IEEE
16 years 26 days 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...
144
click to vote
IWPC
2008
IEEE
16 years 26 days 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...
190
click to vote
LICS
2008
IEEE
16 years 25 days 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 ...