2672 search results - page 468 / 535 » Hybridizing Concept Languages |
CSCWD
2001
Springer
14 years 1 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
EMSOFT
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. We present a framework to extend the concept of type systems in programming languages to capture the dynamic interaction in component-based design, such as the communicat...
MIS
2001
Springer
14 years 1 months ago
2001
Springer
Because digital images are not meaningful by themselves, images are often coupled with some descriptive or qualitative data in an image database. Moreover the division of these da...
SP
2000
IEEE
14 years 1 months ago
2000
IEEE
We address the goal of making Delegation Logic (DL) into a practically implementable and tractable trustmanagement system. DL [22] is a logic-based knowledge representation (i.e.,...
SIGMOD
2000
ACM
14 years 1 months ago
2000
ACM
We consider spatio-temporal databases supporting spatial objects with continuously changing position and extent, termed moving objects databases. We formally define a data model f...