2448 search results - page 443 / 490 » The Octahedron Abstract Domain |
ISORC
2002
IEEE
14 years 2 months ago
2002
IEEE
— This paper describes IKE 2, which is distributed object computing middleware that supports the creation of interoperable realtime distributed applications. These applications a...
ECOOPW
2000
Springer
14 years 1 months ago
2000
Springer
Abstract. The unrelenting pace of change that confronts contemporary software developers compels them to make their applications more configurable, flexible, and adaptable. A way t...
FODO
1993
Springer
14 years 1 months ago
1993
Springer
Abstract. Data storage systems are being called on to manage continuous media data types, such as digital audio and video. There is a demand by applications for \constrained-latenc...
SP
2010
IEEE
14 years 1 months ago
2010
IEEE
Abstract—Belief and vulnerability have been proposed recently to quantify information flow in security systems. Both concepts stand as alternatives to the traditional approaches...
GI
2009
Springer
14 years 1 months ago
2009
Springer
Abstract: Model-based development has an increasing importance in modern software engineering and other domains. Visual models such as Petri nets and UML diagrams proved to be an a...