Sciweavers

2796 search results - page 374 / 560
» A time structure based software reliability model
Sort
View
LREC
2008
118views Education» more  LREC 2008»
15 years 8 months ago
FATE: a FrameNet-Annotated Corpus for Textual Entailment
Several studies indicate that the level of predicate-argument structure is relevant for modeling prevalent phenomena in current textual entailment corpora. Although large resource...
Aljoscha Burchardt, Marco Pennacchiotti
IAJIT
2010
166views more  IAJIT 2010»
15 years 5 months ago
Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets
: The specification of the dynamic behaviour of reactive distributed systems must exhibit the structures of control and has to imply explicitly the relevant aspects of the distribu...
Faiza Bouchoul, Mohamed Mostefai
GLOBECOM
2007
IEEE
16 years 1 months ago
Redundant Array of Independent Fabrics - An Architecture for Next Generation Network
As the next generation network begins to incorporate the Internet, telecommunication and TV services, it becomes one of the most critical infrastructures for our society. Routers c...
Rongsen He, José G. Delgado-Frias
HICSS
2007
IEEE
140views Biometrics» more  HICSS 2007»
16 years 1 months ago
Design Pattern Evolution and Verification Using Graph Transformation
This paper presents a graph transformation based approach to design pattern evolution. An evolution of a design pattern includes modifications of pattern elements, such as classes...
Chunying Zhao, Jun Kong, Kang Zhang
ISSTA
2004
ACM
16 years 6 days ago
Exploiting purity for atomicity
The notion that certain procedures are atomic is a fundamental correctness property of many multithreaded software systems. A procedure is atomic if for every execution there is a...
Cormac Flanagan, Stephen N. Freund, Shaz Qadeer