304 search results - page 37 / 61 » Computational Science for Natural Resource Management |
FORMATS
2003
Springer
14 years 1 months ago
2003
Springer
Timed automata are known not to be complementable or determinizable. Natural questions are, then, could we check whether a given TA enjoys these properties? These problems are not...
WISE
2009
Springer
14 years 5 months ago
2009
Springer
Web-based environments typically span interactions between humans and software services. The management and automatic calculation of trust are among the key challenges of the futur...
BIRTHDAY
2003
Springer
14 years 1 months ago
2003
Springer
Abstract. Bounded fairness is a stronger notion than ordinary eventuality-based fairness, one that guarantees occurrence of an event within a fixed number of occurrences of anothe...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
Work processes are conducted in various contexts and they involve different tasks, interruptions, activities and actions. In all of these, tacit knowledge plays a part. Some part ...
AINA
2009
IEEE
14 years 2 months ago
2009
IEEE
Sensing context information and making it available to the people, involved in coordinating a collaborative task, is a preliminary phase in making a system adaptable to the prevai...