10038 search results - page 1789 / 2008 » Model Checking for Managers |
147
click to vote
ACMSE
2005
ACM
15 years 10 months ago
2005
ACM
In this paper, we describe recent work in developing a peer-topeer collaborative environment. The study examines various locking mechanisms/policies by adjusting the granularity o...
121
click to vote
GROUP
2005
ACM
15 years 10 months ago
2005
ACM
The Community Bar is groupware supporting informal awareness and casual interaction for small social worlds: a group of people with a common purpose. Its conceptual design is prim...
146
Voted
KCAP
2005
ACM
15 years 10 months ago
2005
ACM
User-centered consultation systems can be viewed as systems with trust in the competence of the user, whereas conventional knowledge systems are often based on some mistrust. By o...
152
click to vote
KCAP
2005
ACM
15 years 10 months ago
2005
ACM
In this document, we describe a light-weighted ontology mediation method that allows users to send semantic queries to distant data repositories to browse for learning object meta...
118
click to vote
MINENET
2005
ACM
15 years 10 months ago
2005
ACM
Faults in an IP network have various causes such as the failure of one or more routers at the IP layer, fiber-cuts, failure of physical elements at the optical layer, or extraneo...