9110 search results - page 489 / 1822 » Formally-Based Design Evaluation |
219
click to vote
APPINF
2003
15 years 8 months ago
2003
This paper describes an evaluation of the two technologies Aglets from IBM Japan and JavaSpaces from Sun Microsystems used to implement the same mobile agent system. The Aglets fr...
184
Voted
WSC
2004
15 years 8 months ago
2004
A critical aspect of semiconductor manufacturing is the design and analysis of material handling and production control polices to optimize fab performance. As wafer sizes have in...
206
click to vote
CSCW
2012
ACM
14 years 2 months ago
2012
ACM
Although many off-line organizations give their employees training, mentorship, a cohort and other socialization experiences that improve their retention and productivity, online ...
148
click to vote
SP
2008
IEEE
16 years 1 months ago
2008
IEEE
Civitas is the first electronic voting system that is coercion-resistant, universally and voter verifiable, and suitable for remote voting. This paper describes the design and i...
127
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
This work-in-progress paper describes the features of the ArHeX similarity-oriented XML processing toolkit [12]. ArHeX is designed to assist in the engineering of XML similarity-o...