4341 search results - page 426 / 869 » Quantitative Model checking |
161
click to vote
ICECCS
2002
IEEE
15 years 12 months ago
2002
IEEE
Messaging services are a useful component in distributed systems that require scalable dissemination of messages (events) from suppliers to consumers. These services decouple supp...
198
click to vote
IESA
2007
15 years 8 months ago
2007
Increased performance is the key reason for developing software with virtual teams but the research efforts to date are limited. Difficulties for a formal, generic approach are mul...
145
click to vote
LREC
2008
15 years 8 months ago
2008
Many of the Japanese ideographs (Chinese characters) have a few meanings. Such ambiguities should be identified by using their contextual information. For example, we have an ideo...
159
click to vote
ENTCS
2007
15 years 6 months ago
2007
The application scenarios envisioned for ‘global ubiquitous computing’ have unique requirements that are often incompatible with traditional security paradigms. One alternativ...
174
click to vote
AI
2005
Springer
15 years 6 months ago
2005
Springer
In designing a Bayesian network for an actual problem, developers need to bridge the gap between ematical abstractions offered by the Bayesian-network formalism and the features o...