10038 search results - page 555 / 2008 » Model Checking for Managers |
222
click to vote
DSRT
2003
IEEE
16 years 14 days ago
2003
IEEE
Distributed simulation enables participants situated in different geographical locations to share a common virtual world, which is called a Distributed Virtual Environment (DVE). ...
175
click to vote
HICSS
2003
IEEE
16 years 14 days ago
2003
IEEE
Enterprises need to understand the impact of different types of knowledge management (KM) approaches on business strategy, and how they interact with other types of initiatives to...
169
click to vote
IPPS
2003
IEEE
16 years 14 days ago
2003
IEEE
Expresso is an experiment management system that is designed to assist biologists in planning, executing, and interpreting microarray experiments. It serves as a unifying framewor...
215
click to vote
WORDS
2003
IEEE
16 years 13 days ago
2003
IEEE
A new class of applications can now be envisaged with the emergence of both mobile ad hoc computing and ubiquitous computing. Applications of such kind are characterised by being ...
164
click to vote
ATAL
2003
Springer
16 years 12 days ago
2003
Springer
We previously developed a social mechanism for distributed reputation management, in which an agent combines testimonies from several witnesses to determine its ratings of another...