Sciweavers

1341 search results - page 182 / 269
» Unified Modeling of Complex Real-Time Control Systems
Sort
View
VTC
2010
IEEE
143views Communications» more  VTC 2010»
13 years 6 months ago
Partner Selection and Power Control for Asymmetrical Collaborative Networks
—We derive an adaptive power control method for a collaborative network utilizing partner selection that aims to minimize the frame error rate (FER). We model a decodeand-forward...
Weisi Guo, Ioannis Chatzigeorgiou, Ian J. Wassell,...
ENTCS
2008
135views more  ENTCS 2008»
13 years 8 months ago
Formal Specification Generation from Requirement Documents
Automatic generation of formal specifications from requirement reduces cost and complexity of formal models creation. Thus, the generated formal model brings the possibility to ca...
Gustavo Cabral, Augusto Sampaio
MOBIS
2008
13 years 9 months ago
Towards Simulation-supported Enterprise Architecture Management
Abstract: Enterprise architecture management is based on a holistic view on the enterprise addressing business and IT aspects in an integrated manner. EA management is a process to...
Sabine Buckl, Florian Matthes, Wolfgang Renz, Chri...
WSCG
2001
108views more  WSCG 2001»
13 years 9 months ago
Co-Operative and Concurrent Blending Motion Generators
In this paper we will be describing a new animation architecture and its implementation in our system LIVE. This model introduces a new blending layer approach which uses several ...
Vincent Bonnafous, Eric Menou, Jean-Pierre Jessel,...
SACMAT
2009
ACM
14 years 23 days ago
A formal framework to elicit roles with business meaning in RBAC systems
The role-based access control (RBAC) model has proven to be cost effective to reduce the complexity and costs of access permission management. To maximize the advantages offered...
Alessandro Colantonio, Roberto Di Pietro, Alberto ...