Sciweavers

2706 search results - page 243 / 542
» The case for a new business model
Sort
View
SOFSEM
2010
Springer
16 years 3 months ago
Practically Applicable Formal Methods
Abstract. Formal methods are considered to be highly expensive. Therefore, they are currently applied almost only in high risk software development. In this paper, we show that for...
Jedrzej Fulara, Krzysztof Jakubczyk
WOSP
2005
ACM
16 years 7 days ago
A capacity management service for resource pools
Resource pools are computing environments that offer virtualized access to shared resources. When used effectively they can align the use of capacity with business needs (flexi...
Jerry Rolia, Ludmila Cherkasova, Martin F. Arlitt,...
NMR
2004
Springer
16 years 21 hour ago
Towards higher impact argumentation
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...
Anthony Hunter
DATE
2003
IEEE
114views Hardware» more  DATE 2003»
15 years 12 months ago
Ambient Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts
Intelligence Visions and Achievements: Linking Abstract Ideas to Real-World Concepts Menno Lindwer  ¢¡ , Diana Marculescu £¥¤ , Twan Basten ¦§¡ , Rainer Zimmermann ¨ , Ra...
Menno Lindwer, Diana Marculescu, Twan Basten, Rain...
163
Voted
HICSS
2003
IEEE
127views Biometrics» more  HICSS 2003»
15 years 12 months ago
Designed for Success - Empirical Evidence on Features of Corporate Web Pages
We investigate how eight concepts derived from the media characteristics of the WWW impact corporate success in E-Business if implemented as features of companies’ web sites. We...
Nils Madeja, Detlef Schoder