675 search results - page 92 / 135 » An Approach for Model based Requirement Engineering of Parti... |
151
Voted
CDVE
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents a solution for cooperation between companies that belong to a supply chain in the ceramic tile sector, where competitiveness requires constant innovation in pro...
120
click to vote
PASTE
2004
ACM
15 years 9 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
161
Voted
ICDCS
2009
IEEE
16 years 18 days ago
2009
IEEE
Users and administrators of large distributed systems are frequently in need of monitoring and management of its various components, data items and resources. Though there exist s...
164
click to vote
P2P
2006
IEEE
15 years 9 months ago
2006
IEEE
Large-scale distributed data management with P2P systems requires the existence of similarity operators for queries as we cannot assume that all users will agree on exactly the sa...
163
Voted
AVI
2006
15 years 4 months ago
2006
In previous work, we proposed ValueCharts, a set of visualizations and interactive techniques to support the inspection of linear models of preferences. We now identify the need t...