2623 search results - page 302 / 525 » tools 2010 |
116
click to vote
IEEEHPCS
2010
14 years 11 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
109
Voted
IJSR
2010
14 years 11 months ago
2010
Abstract It has been recognized that long-term effects exist in the interaction with robotic technologies. Despite this recognition, we still know little about how the temporal eff...
109
Voted
JIDM
2010
14 years 11 months ago
2010
Data Warehouse (DW), On-Line Analytical Processing (OLAP) and Geographical Information System (GIS) are tools for providing decision-making support. Much research is aimed at inte...
175
Voted
NCM
2010
14 years 11 months ago
2010
—The objective of the paper is to propose a predictable context sensitive trust model for a business system. A business system can be imagined with four basic entities between wh...
128
click to vote
SOCINFO
2010
14 years 11 months ago
2010
Abstract. Online tools for collaboration and social platforms have become omnipresent in Web-based environments. Interests and skills of people evolve over time depending in perfor...