1105 search results - page 73 / 221 » Performance Engineering Models of CORBA-based Distributed-Ob... |
129
click to vote
AH
2000
Springer
15 years 6 months ago
2000
Springer
A hypermedia application offers its users a lot of freedom to navigate through a large hyperspace, described by a domain model. Adaptive hypermedia systems (AHS) aim at overcoming ...
92
Voted
ICMCS
2007
IEEE
15 years 8 months ago
2007
IEEE
We consider surveillance problems to be a set of system- adversary interaction problems in which an adversary can be modeled as a rational (selfish) agent trying to maximize his ...
222
click to vote
VLSI
2007
Springer
15 years 8 months ago
2007
Springer
Abstract—Analysis and verification environments for nextgeneration nano-scale RFIC designs must be able to cope with increasing design complexity and to account for new effects,...
100
click to vote
COMPSAC
2006
IEEE
15 years 8 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
97
Voted
EMSOFT
2009
Springer
15 years 9 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...