285 search results - page 49 / 57 » Relating two formal models of path-vector routing |
WCRE
2007
IEEE
15 years 3 months ago
2007
IEEE
Our analysis of crosscutting concerns in real-life software systems (totaling over 500,000 LOC) and in reports from literature indicated a number of properties that allow for thei...
WEBDB
2004
Springer
15 years 2 months ago
2004
Springer
Among the various proposals answering the shortcomings of Document Type Definitions (DTDs), XML Schema is the most widely used. Although DTDs and XML Schema Defintions (XSDs) di...
115
Voted
SSD
1993
Springer
15 years 1 months ago
1993
Springer
: Spatial data types or algebras for database systems should (i) be fully general (which means, closed under set operations, hence e.g. a region value can be a set of polygons with...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
In this paper we investigate two related aspects of the formalization of open interaction systems: how to specify norms, and how to enforce them by means of sanctions. The problem...
105
click to vote
BIRTHDAY
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. UML models consist of several diagrams of different types describing different views of a software system ranging from specifications of the static system structure to de...