2251 search results - page 313 / 451 » Specification and Implementation Problems for C |
157
Voted
COMPSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
Performance analysis gains more attention in recent years by researchers who focus their study on the early software development stages to mitigate the risk of redesign as problem...
136
click to vote
NCA
2005
IEEE
15 years 10 months ago
2005
IEEE
Large-scale and dynamically changing distributed systems such as the Grid, peer-to-peer overlays, etc., need to collect several kinds of global statistics in a decentralized manne...
137
click to vote
ISSTA
2004
ACM
15 years 10 months ago
2004
ACM
Constraints in predicate or relational logic can be translated into boolean logic and solved with a SAT solver. For faster solving, it is common to exploit the typing of predicate...
130
Voted
VLDB
2004
ACM
15 years 10 months ago
2004
ACM
Ontologies are increasingly being used to build applications that utilize domain-specific knowledge. This paper addresses the problem of supporting ontology-based semantic matchin...
110
click to vote
ACSC
2002
IEEE
15 years 10 months ago
2002
IEEE
This paper discusses work underway to develop a framework for the use of hierarchical federation communities as a tool for distributed simulation. The Virtual Ship Project is the ...