Sciweavers

2800 search results - page 117 / 560
» Fibrational Control Structures
Sort
View
XSYM
2007
Springer
119views Database» more  XSYM 2007»
16 years 4 days ago
SXDGL: Snapshot Based Concurrency Control Protocol for XML Data
Nowadays, concurrency control for XML data is a big research problem. There are a number of researchers working on this problem, but most of the proposed methods are based on the ...
Peter Pleshachkov, Sergei Kuznetcov
ICICIC
2006
IEEE
16 years 2 days ago
Sensing and Control for Geometry Stability of the Melt Pool and the Cross Sectional Area in Laser Cladding
The accurate control of process parameters is particularly important for the growth of high quality structures during laser cladding. Melt pool size and cross sectional area are k...
Liangliang Nan, Weijun Liu
BROADNETS
2005
IEEE
15 years 11 months ago
QoS Provisioning via admission control in cellular/wireless LAN interworking
— It is widely recognized that the next-generation wireless networks will integrate heterogeneous wireless technologies. The complementary characteristics of cellular networks an...
Wei Song, Weihua Zhuang
IFIP
1992
Springer
15 years 10 months ago
Controller Implementation by Communicating Asynchronous Sequential Circuits Generated from a Petri Net Specification of Required
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
Jochen Beister, Ralf Wollowski
166
Voted
ETRICS
2006
15 years 9 months ago
Possibilistic Information Flow Control in MAKS and Action Refinement
Abstract. Formal methods emphasizes the need for a top-down approach when developing large reliable software systems. Refinements are map step by step abstract algebraic specificat...
Dieter Hutter