Sciweavers

3948 search results - page 397 / 790
» Integration Workbench: Integrating Schema Integration Tools
Sort
View
LAWEB
2003
IEEE
16 years 1 days ago
Conceptual-Level Log Analysis for the Evaluation of Web Application Quality
So far, conceptual modeling of Web applications has been used primarily in the upper part of the life cycle, as a driver for system analysis. Little attention has been put on expl...
Piero Fraternali, Maristella Matera, Andrea Maurin...
STOC
2003
ACM
116views Algorithms» more  STOC 2003»
16 years 19 hour ago
New lattice based cryptographic constructions
We introduce the use of Fourier analysis on lattices as an integral part of a lattice based construction. The tools we develop provide an elegant description of certain Gaussian d...
Oded Regev
FMCO
2003
Springer
144views Formal Methods» more  FMCO 2003»
15 years 12 months ago
Semantic Essence of AsmL
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
FPL
2003
Springer
89views Hardware» more  FPL 2003»
15 years 12 months ago
Reconfigurable Systems in Education
This paper describes methods and tools that have been used for teaching disciplines dedicated to the design of reconfigurable digital systems. It demonstrates students' projec...
Valery Sklyarov, Iouliia Skliarova
HICSS
2002
IEEE
97views Biometrics» more  HICSS 2002»
15 years 11 months ago
A Novel Method for Voltage Instability Protection
The growing concern about wide area power system disturbances and their impact on power systems have reinforced interest in the new generation of system protection tools. Their ap...
Miroslav Begovic, Borka Milosevic, Damir Novosel