1774 search results - page 225 / 355 » Modeling Dynamic Component Interfaces |
130
Voted
VLSID
2002
IEEE
16 years 2 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...
102
Voted
ICN
2007
Springer
15 years 8 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...
108
Voted
ICEIS
2005
IEEE
15 years 8 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...
118
Voted
TACAS
2004
Springer
15 years 7 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...
ICMCS
1997
IEEE
15 years 6 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 ...