3765 search results - page 273 / 753 » Qualitative Action Systems |
192
click to vote
IEEEARES
2010
IEEE
16 years 2 months ago
2010
IEEE
Abstract—Despite a long standing need to incorporate human factors into security risk analysis, taking a balanced approach to analysing security and usability concerns remains a ...
156
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
In this paper the authors present the results of a research project that strives to fill a literature gap in IT offshore outsourcing research by analyzing clientside managerial me...
188
click to vote
CONCUR
2009
Springer
16 years 1 months ago
2009
Springer
We propose how to present and compute a counterexample in probabilistic LTL model checking for discrete-time Markov chains. In qualitative probabilistic model checking, we present ...
200
click to vote
PREMI
2009
Springer
16 years 1 months ago
2009
Springer
Content based image retrieval (CBIR) has been well studied in the computer vision and multimedia community. Content free image retrieval (CFIR) methods, and their complementary cha...
181
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
As the field of e-government expands and grows, the number of academic courses, professional workshops, online courses, and continuing education opportunities in this field also i...