1483 search results - page 196 / 297 » Warnings for pattern matching |
160
click to vote
LICS
2008
IEEE
16 years 17 days ago
2008
IEEE
This paper presents a new bisimulation theory for parametric polymorphism which enables straightforward coinductive proofs of program equivalences involving existential types. The...
149
click to vote
COMPSAC
2007
IEEE
16 years 15 days ago
2007
IEEE
Concept location is one of the fundamental activities during software maintenance which locates the parts of the source code where a specific concept is implemented. The methods f...
126
click to vote
DDECS
2007
IEEE
16 years 15 days ago
2007
IEEE
: In this paper we study Complex Read Faults in SRAMs, a combination of various malfunctions that affect the read operation in nanoscale memories. All the memory elements involved ...
169
click to vote
CIVR
2007
Springer
16 years 10 days ago
2007
Springer
In this paper, we outline some of the main challenges facing trademark searchers today, and discuss the extent to which current automated systems are meeting those challenges. Cat...
154
click to vote
ESOP
2007
Springer
16 years 10 days ago
2007
Springer
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for...