Sciweavers

828 search results - page 119 / 166
» types 2000
Sort
View
SIGSOFT
2000
ACM
14 years 2 days ago
Automated systematic testing for constraint-based interactive services
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...
Patrice Godefroid, Lalita Jategaonkar Jagadeesan, ...
UIST
2000
ACM
14 years 2 days ago
A semi-automatic approach to home video editing
Hitchcock is a system that allows users to easily create custom videos from raw video shot with a standard video camera. In contrast to other video editing systems, Hitchcock uses...
Andreas Girgensohn, John S. Boreczky, Patrick Chiu...
WOSP
2000
ACM
14 years 2 days ago
Software performance antipatterns
A pattern is a common solution to a problem that occurs in many different contexts. Patterns capture expert knowledge about “best practices” in software design in a form that ...
Connie U. Smith, Lloyd G. Williams
ADC
2000
Springer
98views Database» more  ADC 2000»
14 years 2 days ago
A Generalized Modeling Framework for Schema Versioning Support
Advanced object-oriented applications require the management of schema versions, in order to cope with changes in the structure of the stored data. Two types of versioning have be...
Fabio Grandi, Federica Mandreoli, Maria Rita Scala...
AES
2000
Springer
117views Cryptology» more  AES 2000»
14 years 2 days ago
A Comparison of AES Candidates on the Alpha 21264
We compare the five candidates for the Advanced Encryption Standard based on their performance on the Alpha 21264, a 64-bit superscalar processor. There are several new features o...
Richard Weiss, Nathan L. Binkert