2672 search results - page 287 / 535 » Hybridizing Concept Languages |
143
click to vote
FMOODS
2003
15 years 5 months ago
2003
The research concerning Java’s semantics and proof theory has mainly focussed on various aspects of sequential sub-languages. Java, however, integrates features of a class-based ...
131
click to vote
FORTE
2003
15 years 5 months ago
2003
Abstract. Component based design is a new methodology for the construction of distributed systems and applications. In this new setting, a system is built by the assembly of (pre)-...
196
click to vote
JSS
2008
15 years 3 months ago
2008
The convergence of data, voice, and multimedia communication over digital networks, coupled with continuous improvement in network capacity and reliability has resulted in a proli...
139
click to vote
ADT
2005
15 years 3 months ago
2005
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
118
click to vote
SLOGICA
2008
15 years 3 months ago
2008
Logic is a celebrated representation language because of its formal generality. But there are two senses in which a logic may be considered general, one that concerns a technical a...