2813 search results - page 215 / 563 » Formalizing Architectural Connection |
216
click to vote
TELSYS
2011
15 years 1 months ago
2011
Abstract This paper deals with the design and dimensioning of a novel survivable optical network structure, called Petaweb, that can reach a total capacity of several Pb/s (1015 bi...
183
click to vote
ICECCS
1999
IEEE
15 years 10 months ago
1999
IEEE
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
162
click to vote
AAAI
2008
15 years 8 months ago
2008
Direction relations between extended spatial objects are important commonsense knowledge. Recently, Goyal and Egenhofer proposed a formal model, called Cardinal Direction Calculus...
144
click to vote
LREC
2010
15 years 8 months ago
2010
In this paper, we discuss our analysis and resulting new annotations of Penn Discourse Treebank (PDTB) data tagged as Concession. Concession arises whenever one of the two argumen...
154
click to vote
ENTCS
2010
15 years 6 months ago
2010
The crucial strength of the component paradigm lies in the possibility to encapsulate behaviours. In this work, we focus on the observable behaviour of composite components which ...