1554 search results - page 79 / 311 » cases 2003 |
IWPSE
2003
IEEE
15 years 3 months ago
2003
IEEE
Packages are the basic units of release and reuse in software development. The contents and boundaries of packages should therefore be chosen to minimize change propagation and ma...
AOSE
2003
Springer
15 years 3 months ago
2003
Springer
This paper shows how to verify a Multi-Agent System specification using human organization metaphors. This proposal applies Activity Theory, which has its roots in Sociology, to st...
IADIS
2003
14 years 11 months ago
2003
In [7], we reported on our experience in building Collaborative Mobile Virtual Communities (CMVC) on the Web. In [8], we proposed a finite state machine model and a new approach t...
100
click to vote
ISIPTA
2003
IEEE
15 years 3 months ago
2003
IEEE
Given a random set coming from the imprecise observation of a random variable, we study how to model the information about the distribution of this random variable. Specifically,...
102
click to vote
WCRE
2003
IEEE
15 years 3 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...