2106 search results - page 390 / 422 » Operational Semantics for DyLPs |
150
click to vote
APSEC
2005
IEEE
15 years 11 months ago
2005
IEEE
Software-intensive systems are systems of systems that rely on complex interdependencies among themselves as well as with their operational environment to satisfy the required beh...
133
click to vote
CGO
2005
IEEE
15 years 11 months ago
2005
IEEE
Pointer analysis is traditionally performed once, early in the compilation process, upon an intermediate representation (IR) with source-code semantics. However, performing pointe...
154
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
150
click to vote
ICDM
2005
IEEE
15 years 11 months ago
2005
IEEE
Many real applications can be modeled using bipartite graphs, such as users vs. files in a P2P system, traders vs. stocks in a financial trading system, conferences vs. authors ...
153
click to vote
IDEAS
2005
IEEE
15 years 11 months ago
2005
IEEE
A substantial subset of the web data follows some kind of underlying structure. Nevertheless, HTML does not contain any schema or semantic information about the data it represents...