11168 search results - page 1978 / 2234 » Abstract State Processes |
110
click to vote
IEEEICCI
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...
102
Voted
INFOCOM
2003
IEEE
15 years 6 months ago
2003
IEEE
Abstract— We investigate a widely popular Least-RecentlyUsed (LRU) cache replacement algorithm with semi-Markov modulated requests. Semi-Markov processes provide the flexibility...
102
Voted
IWPC
2003
IEEE
15 years 6 months ago
2003
IEEE
Syntactic and semantic analysis are established topics in the area of compiler construction. Their application to the understanding and restructuring of large software systems rev...
134
click to vote
IWPC
2003
IEEE
15 years 6 months ago
2003
IEEE
Program comprehension is an important part of software maintenance, especially when program structure is complex and documentation is unavailable or outdated. Data mining can prod...
125
click to vote
MEMOCODE
2003
IEEE
15 years 6 months ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...