4919 search results - page 390 / 984 » A Process-Ontological Model for Software Engineering |
154
click to vote
COMPSAC
2003
IEEE
16 years 2 days ago
2003
IEEE
Markov chains have been used to model web usages and served as the basis for statistical testing, performance evaluation, and reliability analysis. However, most of such applicati...
178
click to vote
ICSE
2003
IEEE-ACM
16 years 2 hour ago
2003
IEEE-ACM
This paper presents a model checking-based approach to data flow testing. We characterize data flow oriented coverage criteria in temporal logic such that the problem of test ge...
163
click to vote
AUIC
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper presents user interface technology, using a glove based menuing system and 3D interaction techniques. It is designed to support applications that allow users to constru...
162
Voted
FASE
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The Object Constraint Language OCL offers a formal notation for constraining the modelling elements occurring in UML diagrams. In this paper we apply OCL for developing ...
168
click to vote
WOSP
2000
ACM
15 years 11 months ago
2000
ACM
We present an analytic technique for modeling load balancing policies on a cluster of servers conditioned on the fact that the service times of arriving tasks are drawn from heavy...