12774 search results - page 222 / 2555 » A Framework for Proof Systems |
149
click to vote
DEXAW
1997
IEEE
15 years 10 months ago
1997
IEEE
Current workflow management systems (WFMSs) are only applicable in a reliable and secure manner, if the business process (BP) to be supported is wellstructured. As ad hoc deviatio...
136
click to vote
PDIS
1994
IEEE
15 years 10 months ago
1994
IEEE
Existing federated database systems (FDBS) provide uniform access to multiple heterogeneous DBS, but do not enable objects to move across the DBS while retaining global identity. ...
154
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. SymGrid-Par is a new framework for executing large computer algebra problems on computational Grids. We present the design of SymGrid-Par, which supports multiple compute...
167
click to vote
ASWEC
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents a security characterisation process framework for software components and their compositions in order to address the issue of trust in component based software...
171
click to vote
FLAIRS
2008
15 years 7 months ago
2008
We describe a framework for building intelligent tutoring systems that offer an advanced evaluation of learners' semantic knowledge. The knowledge model makes a pedagogical d...