Sciweavers

24554 search results - page 260 / 4911
» Dependable distributed systems
Sort
View
ARITH
2005
IEEE
16 years 2 days ago
Data Dependent Power Use in Multipliers
Recent research has demonstrated the vulnerability of certain smart card architectures to power and electromagnetic analysis when multiplier operations are insufficiently shielde...
Colin D. Walter, David Samyde
TACAS
2005
Springer
106views Algorithms» more  TACAS 2005»
15 years 12 months ago
Dependent Types for Program Understanding
Abstract. Weakly-typed languages such as Cobol often force programrepresent distinct data abstractions using the same low-level physical type. In this paper, we describe a techniqu...
Raghavan Komondoor, Ganesan Ramalingam, Satish Cha...
MFCS
1997
Springer
15 years 10 months ago
Dependency-Based Action Refinement
Abstract. Action refinement in process algebras has been widely studied in the last few years as a means to support top-down design of systems. A specific notion of refinement aris...
Arend Rensink, Heike Wehrheim
AIIA
2009
Springer
15 years 10 months ago
Representing Excuses in Social Dependence Networks
In this paper, we propose a representation of excuses in the context of multiagent systems. We distinguish five classes of excuses, taking as starting point both jurisprudential an...
Guido Boella, Jan Broersen, Leendert van der Torre...
LREC
2010
154views Education» more  LREC 2010»
15 years 8 months ago
Comparing the Influence of Different Treebank Annotations on Dependency Parsing
As the interest of the NLP community grows to develop several treebanks also for languages other than English, we observe efforts towards evaluating the impact of different annota...
Cristina Bosco, Simonetta Montemagni, Alessandro M...