2813 search results - page 105 / 563 » Formalizing Architectural Connection |
144
click to vote
DAC
2006
ACM
16 years 5 months ago
2006
ACM
A simple protocol for latency-insensitive design is presented. The main features of the protocol are the efficient implementation of elastic communication channels and the automat...
146
click to vote
SIGSOFT
2005
ACM
16 years 5 months ago
2005
ACM
Charmy is a framework for designing and validating architectural specifications. In the early stages of the software development process, the Charmy framework assists the software...
135
Voted
ECTEL
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Courseware validation should locate Learning Objects inconsistent with the courseware instructional design being used. In order for validation to take place it is necessa...
158
click to vote
CORR
2002
Springer
15 years 4 months ago
2002
Springer
We present a generalization of conventional artificial neural networks that allows for a functional equivalence to multi-expert systems. The new model provides an architectural fr...
259
click to vote
POPL
2007
ACM
16 years 5 months ago
2007
ACM
Separation Logic, Ambient Logic and Context Logic are based on a similar style of reasoning about structured data. They each consist of a structural (separating) composition for r...