1774 search results - page 225 / 355 » Modeling Dynamic Component Interfaces |
154
Voted
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
Among the many techniques for system-level power management, it is not currently possible to guarantee timing constraints and have a comprehensive system model at the same time. S...
120
click to vote
ICN
2007
Springer
15 years 11 months ago
2007
Springer
ct Bandwidth usage monitoring is important for network troubleshooting and planning. Traditionally, used bandwidth is computed from router interface byte counters read by SNMP. Thi...
133
click to vote
ICEIS
2005
IEEE
15 years 10 months ago
2005
IEEE
: Emerging technologies and industrial standards in the field of Web services enable a much faster and easier cooperation of distributed partners. With the increasing number of en...
134
click to vote
TACAS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
121
click to vote
ICMCS
1997
IEEE
15 years 9 months ago
1997
IEEE
This paper presents a framework for link management within hyper-media documents. The framework includes: (1) an object-oriented document architecture with a consistent interface ...