Sciweavers

12670 search results - page 144 / 2534
» Requirements Modeling
Sort
View
VTC
2006
IEEE
110views Communications» more  VTC 2006»
15 years 9 months ago
On Modelling Spatial Traffic and Service Non-Uniformities in WCDMA Reverse Link
— This paper focuses on the modelling of the reverse link of a WCDMA system in a non-homogeneous environment. Multiple traffic spatial and service non-uniformities are considered...
Ferran Adelantado, Oriol Sallent, Jordi Pér...
105
Voted
DBSEC
2007
87views Database» more  DBSEC 2007»
15 years 4 months ago
Towards a Times-Based Usage Control Model
Abstract. Modern information systems require temporal and privilegeconsuming usage of digital objects. To meet these requirements, we present a new access control model–Times-bas...
Baoxian Zhao, Ravi S. Sandhu, Xinwen Zhang, Xiaoli...
119
Voted
ISIM
2007
15 years 4 months ago
Formal Computation Independent Model of the Problem Domain within the MDA
The proposed approach called Topological Functioning Modeling for Model Driven Architecture (TFMfMDA) uses formal mathematical foundations of Topological Functioning Model. It intr...
Janis Osis, Erika Asnina, Andrejs Grave
ET
1998
99views more  ET 1998»
15 years 3 months ago
A Behavior Model for Next Generation Test Systems
Defining information required by automatic test systems frequently involves a description of system behavior. To facilitate capturing the required behavior information in the cont...
Lee A. Shombert, John W. Sheppard
ENTCS
2006
115views more  ENTCS 2006»
15 years 3 months ago
Using ATL for Checking Models
Working with models often requires the ability to assert the compliance of a given model to a given set of constraints. Some tools are able to check OCL invariants on UML models. ...
Jean Bézivin, Frédéric Jouaul...