2631 search results - page 207 / 527 » Software Development with Code Maps |
143
click to vote
MSR
2006
ACM
15 years 10 months ago
2006
ACM
Software birthmarks are unique and native characteristics of every software component. Two components having similar birthmarks indicate that they are similar in functionality, st...
130
click to vote
TLCA
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. This paper proposes two typing systems for session interactions in higherorder mobile processes. Session types for the HOπ-calculus capture high-level structures nicatio...
150
click to vote
CASES
2007
ACM
15 years 8 months ago
2007
ACM
Software Defined Radio (SDR) is an emerging embedded domain where the physical layer of wireless protocols is implemented in software rather than the traditional application speci...
104
click to vote
COLING
2010
14 years 11 months ago
2010
With OWL (Web Ontology Language) established as a standard for encoding ontologies on the Semantic Web, interest has begun to focus on the task of verbalising OWL code in controll...
129
click to vote
FASE
1999
Springer
15 years 8 months ago
1999
Springer
JTN is a formal graphic notation for Java-targeted design speci cations, that are speci cations of systems that will be implemented using Java. JTN is aimed to be a part of a more ...