22114 search results - page 4030 / 4423 » Use of Models and Modelling Techniques for Service Developme... |
224
click to vote
SOPR
1998
15 years 6 months ago
1998
Software engineering focuses on producing quality software products through quality processes. The attention to processes dates back to the early 70’s, when software engineers r...
180
click to vote
TSE
1998
15 years 6 months ago
1998
—In this paper, we propose an integrated methodology for specifying AIN and switch-based features and analyzing their interactions in the AIN 0.1 framework. The specification of ...
217
click to vote
TPDS
2002
15 years 6 months ago
2002
Distributed dynamic channel allocation (DDCA) is a fundamental resource management problem in mobile cellular networks. It has a flavor of distributed mutual exclusion but is not e...
183
click to vote
FAC
2010
15 years 5 months ago
2010
: © Algebra and logic for access control Matthew Collinson, David Pym HP Laboratories HPL-2008-75R1 Access control, process algebra, bunched Logic; systems modelling The access co...
201
click to vote
HCSE
2010
15 years 5 months ago
2010
Abstract. The user experience of ubiquitous environments is a determining factor in their success. The characteristics of such systems must be explored as early as possible to anti...