3828 search results - page 194 / 766 » Proof-Based System Engineering Using a Virtual System Model |
228
click to vote
WEBNET
2001
15 years 7 months ago
2001
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...
129
click to vote
ICWE
2004
Springer
15 years 11 months ago
2004
Springer
Business Processes for Web 1 Services are the new paradigm for virtual organization. In such cross organizational partnerships no business partner may guess a priori what kind of c...
211
click to vote
DMS
2008
15 years 7 months ago
2008
There is a growing demand for Multi-Agent Systems (MAS) in the software industry. The autonomous agent interaction in a dynamic software environment can potentially lead to runtim...
180
click to vote
SAC
2005
ACM
15 years 12 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
169
click to vote
FAST
2009
15 years 4 months ago
2009
We introduce a novel multi-resource allocator to dynamically allocate resources for database servers running on virtual storage. Multi-resource allocation involves proportioning t...