Sciweavers

4209 search results - page 768 / 842
» Abstract Dialectical Frameworks
Sort
View
HCI
2007
15 years 4 months ago
Informative Art Display Metaphors
Informative Art display systems have been proposed to provide users with information considered relevant at arbitrary points of work or living engagement, originating from many dif...
Alois Ferscha
MBEES
2008
15 years 4 months ago
Composition of Model-based Test Coverage Criteria
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
Mario Friske, Bernd-Holger Schlingloff, Stephan We...
ECIS
2000
15 years 4 months ago
Diffusion of Internet Technologies in Travel Agencies in Australia
Abstract - The Internet appears to playing a role in the restructuring of some traditional business sectors in which some organisations profit and some decline. Travel agencies are...
Craig Standing, Thandarayan Vasudavan
BIS
2009
168views Business» more  BIS 2009»
15 years 4 months ago
Defining Adaptation Constraints for Business Process Variants
Abstract. In current dynamic business environment, it has been argued that certain characteristics of ad-hocism in business processes are desirable. Such business processes typical...
Ruopeng Lu, Shazia Wasim Sadiq, Guido Governatori,...
ICECCS
2010
IEEE
219views Hardware» more  ICECCS 2010»
15 years 3 months ago
Comparison of Six Ways to Extend the Scope of Cheddar to AADL v2 with Osate
Abstract—Cheddar is a framework dedicated to the specification of real-time schedulers, and to their analysis by simulation. It is developed in Ada. Some parts of its modular ar...
Mickaël Kerboeuf, Alain Plantec, Frank Singho...