658 search results - page 114 / 132 » A Logic for Graphs with QoS |
LOPSTR
2007
Springer
14 years 2 months ago
2007
Springer
Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of t...
CIMCA
2006
IEEE
14 years 2 months ago
2006
IEEE
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— Internet connectivity at the AS level, defined in terms of pairwise logical peering relationships, is constantly evolving. This evolution is largely a response to economic, po...
HT
2005
ACM
14 years 2 months ago
2005
ACM
Hypertext can be seen as a logic representation, where semantics are encoded in both the textual nodes and the graph of links. Systems that have a very formal representation of th...
MSR
2005
ACM
14 years 2 months ago
2005
ACM
Source Control Repositories are used in most software projects to store revisions to source code files. These repositories operate at the file level and support multiple users. ...