Sciweavers

1116 search results - page 184 / 224
» Key Agreement Using Statically Keyed Authenticators
Sort
View
DBPL
2005
Springer
112views Database» more  DBPL 2005»
14 years 1 months ago
Dual Syntax for XML Languages
XML is successful as a machine processable data interchange format, but it is often too verbose for human use. For this reason, many XML languages permit an alternative more legib...
Claus Brabrand, Anders Møller, Michael I. S...
WETICE
2003
IEEE
14 years 1 months ago
Weakly-structured Workflows for Knowledge-intensive Tasks: An Experimental Evaluation
Knowledge-intensive activities can typically not be modeled sufficiently by classical, static process models and workflows. To enable a process-oriented knowledge management appro...
Ludger van Elst, Felix-Robinson Aschoff, Ansgar Be...
IPPS
2002
IEEE
14 years 19 days ago
A Limited-Global Fault Information Model for Dynamic Routing in 2-D Meshes
In this paper, a fault-tolerant routing in 2-D meshes with dynamic faults is provided. It is based on an early work on minimal routing in 2-D meshes with static faults. Unlike man...
Zhen Jiang, Jie Wu
CGO
2006
IEEE
13 years 11 months ago
2D-Profiling: Detecting Input-Dependent Branches with a Single Input Data Set
Static compilers use profiling to predict run-time program behavior. Generally, this requires multiple input sets to capture wide variations in run-time behavior. This is expensiv...
Hyesoon Kim, M. Aater Suleman, Onur Mutlu, Yale N....
EMSOFT
2006
Springer
13 years 11 months ago
Software partitioning for effective automated unit testing
A key problem for effective unit testing is the difficulty of partitioning large software systems into appropriate units that can be tested in isolation. We present an approach th...
Arindam Chakrabarti, Patrice Godefroid