179 search results - page 7 / 36 » Models and framework for supporting runtime decisions in Web... |
COMPSAC
2008
IEEE
13 years 9 months ago
2008
IEEE
This paper presents a methodology for setting up a Decision Support system for User Interface Design (DSUID). We first motivate the role and contributions of DSUID and then demons...
JAR
2006
13 years 7 months ago
2006
We describe an approach to verifying bit-level pipelined machine models using a combination of deductive reasoning and decision procedures. While theorem proving systems such as AC...
STTT
2008
13 years 7 months ago
2008
1 This papers introduces a generic framework for OBDD variants with weighted edges. It covers many boolean and multi-valued OBDD-variants that have been studied in the literature a...
DEXAW
1997
IEEE
13 years 11 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...
IEEEARES
2009
IEEE
14 years 2 months ago
2009
IEEE
— Trust in software services is a key prerequisite for the success and wide adoption of Services-Oriented Computing (SOC) in an open Internet world. However, trust is poorly asse...