Sciweavers

7530 search results - page 365 / 1506
» Design and Implementation of the YAWL System
Sort
View
ACII
2005
Springer
16 years 18 days ago
Informal User Interface for Graphical Computing
This paper explores a concept of sketch-based informal user interface for graphic computing, which can be characterized by two properties: strokebased input and perceptual processi...
Zhengxing Sun, Jing Liu
ZUM
2005
Springer
206views Formal Methods» more  ZUM 2005»
16 years 15 days ago
Component Reuse in B Using ACL2
Abstract. We present a new methodology that permits to reuse an existing hardware component that has not been developed within the B framework while maintaining a correct design ...
Yann Zimmermann, Diana Toma
CDC
2009
IEEE
144views Control Systems» more  CDC 2009»
15 years 11 months ago
Stability of quantized time-delay nonlinear systems: A Lyapunov-Krasowskii-functional approach
Lyapunov-Krasowskii functionals are used to design quantized continuous-time control laws for nonlinear systems in the presence of time-invariant pointwise delays in the input. Th...
Claudio De Persis, Frédéric Mazenc
ICDE
1993
IEEE
129views Database» more  ICDE 1993»
15 years 11 months ago
Transaction Support in a Log-Structured File System
This paper presents the design and implementation of a transaction manager embedded in a log-structured file system [11]. Measurements show that transaction support on a log-stru...
Margo I. Seltzer
PST
2004
15 years 8 months ago
A Diagrammatical Framework for Information Systems Attacks
All information systems can be represented by a conceptual and abstracted systems diagram. Therefore all attacks against information systems can also be ted. By studying the securi...
Terry Roebuck