10707 search results - page 1869 / 2142 » Designing executable abstractions |
178
click to vote
DBTEL
2001
Springer
15 years 11 months ago
2001
Springer
The DMTF’s recent work on management information modeling in the IP world has highlighted that a number of problems are still unsolved in this important area of enterprise manage...
224
click to vote
ER
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Conceptual models are formal descriptions of application domains that are used in early stages of system development to support requirements analysis. The Unified Modeli...
184
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
Abstract—Advanced network and media applications such as multimedia streaming and Internet telephony are becoming an integral part of the Internet. Reservation protocols, such as...
181
click to vote
HYBRID
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
210
click to vote
ICCS
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Parallel Computational Science and Engineering (CSE) applications often exhibit irregular structure and dynamic load patterns. Many such applications have been developed ...