4211 search results - page 116 / 843 » A formal approach to MASQ |
100
click to vote
APSEC
2005
IEEE
15 years 6 months ago
2005
IEEE
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
107
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
A voting protocol for decision-making in virtual organizations is presented. In an agent-based virtual organization the functions of formation, management and dissolution of the o...
DSVIS
2005
Springer
15 years 6 months ago
2005
Springer
The design and construction of navigation menus for websites have traditionally been performed manually according to the intuition of a web developer. This paper introduces a new a...
106
click to vote
APAQS
2000
IEEE
15 years 5 months ago
2000
IEEE
Although quality is not easy to evaluate since it is a complex concept compound by different aspects, several properties that make a good object-oriented design have been recogniz...
127
click to vote
ADBIS
2004
Springer
15 years 4 months ago
2004
Springer
Trend analysis and forecasting applications (e.g., securities trading, stock market, and after-the-fact diagnosis) need event detection along a moving time window. Event-driven app...