4166 search results - page 683 / 834 » Automating the constraining process |
210
click to vote
SASO
2007
IEEE
16 years 20 days ago
2007
IEEE
— The increasing complexity of distributed enterprise systems has made the task of managing these systems difficult and time consuming. The only way to simplify the management p...
164
click to vote
AI
2007
Springer
16 years 19 days ago
2007
Springer
Many researchers have used text classification method in solving the ontology mapping problem. Their mapping results heavily depend on the availability of quality exemplars used as...
169
click to vote
CCS
2007
ACM
16 years 19 days ago
2007
ACM
Security automata are a variant of B¨uchi automata used to specify security policies that can be enforced by monitoring system execution. In this paper, we propose using CSP-OZ, ...
155
click to vote
DAGM
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Model-based image interpretation extracts high-level information from images using a priori knowledge about the object of interest. The computational challenge is to dete...
148
click to vote
ECOWS
2007
Springer
16 years 18 days ago
2007
Springer
Service composition and service statefulness are key concepts in Web Service system programming. In this paper we present JOLIE, which is the full implementation of our formal cal...