580 search results - page 86 / 116 » Expressive policy analysis with enhanced system dynamicity |
ICSE
2001
IEEE-ACM
15 years 2 months ago
2001
IEEE-ACM
: The design and development of Internet applications, requiring dynamic and possibly mobile access to Internet resources, can take advantage of an approach based on autonomous mob...
INFOCOM
1997
IEEE
15 years 1 months ago
1997
IEEE
We propose a
ow-control scheme that combines the merits of credit- and rate-based
ow-control schemes by applying direct control over both bandwidth and bu er resources. The goal...
RE
2002
Springer
14 years 9 months ago
2002
Springer
Posing speculative questions about a software system is an important yet often unsupported activity. Current impact analysis techniques tend to focus upon the functionality of the...
ATVA
2008
Springer
14 years 11 months ago
2008
Springer
Model checking has proven to be a useful analysis technique not only for concurrent systems, but also for the genetic regulatory networks (Grns) that govern the functioning of livi...
TCS
2008
14 years 9 months ago
2008
The mass and complexity of biological information requires computer-aided simulation and analysis to help scientists achieve understanding and guide experimentation. Although livi...