Sciweavers

6348 search results - page 202 / 1270
» Extensible control architectures
Sort
View
ICSE
2010
IEEE-ACM
15 years 9 months ago
Providing support for creating next generation software architecture languages
Many languages for software architectures have been proposed, each dealing with different stakeholder concerns, operating at different levels of abstraction and with different deg...
Ivano Malavolta
IROS
2008
IEEE
130views Robotics» more  IROS 2008»
15 years 11 months ago
Flocking for multi-robot systems via the Null-Space-based Behavioral control
Abstract— In this paper the flocking problem for a multirobot system, consisting in making the robots of a team grouping together, is addressed. The flocking is achieved resort...
Gianluca Antonelli, Filippo Arrichiello, Stefano C...
ISCAS
2005
IEEE
104views Hardware» more  ISCAS 2005»
15 years 10 months ago
Bifurcation in parallel-connected buck converters under current-mode control
— This paper studies a system of parallel-connected dc/dc buck converters under current-mode control. The effects of variations of the reference current are studied. It has been ...
C. K. Michael Tse, Octavian Dranga, Herbert H. C. ...
VLDB
1989
ACM
44views Database» more  VLDB 1989»
15 years 8 months ago
Quasi Serializability: a Correctness Criterion for Global Concurrency Control in InterBase
In this paper, we introduce Quasi Serializability, a correctness criterion for concurrency control in heterogeneous distributed database environments. A global history is quasi se...
Weimin Du, Ahmed K. Elmagarmid
ESORICS
2008
Springer
15 years 6 months ago
Compositional Refinement of Policies in UML - Exemplified for Access Control
The UML is the de facto standard for system specification, but offers little specialized support for the specification and analysis of policies. This paper presents Deontic STAIRS,...
Bjørnar Solhaug, Ketil Stølen