Sciweavers

8446 search results - page 1294 / 1690
» A Process Compensation Language
Sort
View
LADS
2007
Springer
16 years 6 days ago
Extending the MaSE Methodology for the Development of Embedded Real-Time Systems
Embedded real-time systems play an important role in various application areas like plant automation, product automation or car electronics. In recent years a considerable growth i...
Iman Badr, Hisham Mubarak, Peter Göhner
LPAR
2007
Springer
16 years 6 days ago
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
Operational models of (security) protocols, on one hand, are readable and conveniently match their implementation (at a certain abstraction level). Epistemic models, on the other h...
Francien Dechesne, Mohammad Reza Mousavi, Simona O...
EUROSYS
2010
ACM
16 years 6 days ago
XCPU3: Workload Distribution and Aggregation
The mainstream adoption of cluster, grid, and most recently cloud computing models have broadened the applicability of parallel programming from scientific communities to the bus...
Pravin Shinde, Eric Van Hensbergen
NLDB
2007
Springer
16 years 6 days ago
DLSITE-1: Lexical Analysis for Solving Textual Entailment Recognition
This paper discusses the recognition of textual entailment in a text-hypothesis pair by applying a wide variety of lexical measures. We consider that the entailment phenomenon can ...
Óscar Ferrández, Daniel Micol, Rafae...
NLDB
2007
Springer
16 years 6 days ago
Large-Scale Knowledge Acquisition from Botanical Texts
Free text botanical descriptions contained in printed floras can provide a wealth of valuable scientific information. In spite of this richness, these texts have seldom been anal...
François Role, Milagros Fernandez Gavilanes...
« Prev « First page 1294 / 1690 Last » Next »