10038 search results - page 374 / 2008 » Model Checking for Managers |
252
click to vote
TSE
2011
15 years 1 months ago
2011
— We propose a new probabilistic temporal logic iLTL which captures properties of systems whose state can be represented by probability mass functions (pmf’s). Using iLTL, we c...
170
click to vote
CSCW
1994
ACM
15 years 11 months ago
1994
ACM
Session management systems for collaborative applications have required a great deal of reimplementation work by developers because they have been typically created on a case-by-c...
305
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
The skyline operator returns from a set of multi-dimensional objects a subset of superior objects that are not dominated by others. This operation is considered very important in ...
165
click to vote
ASWC
2009
Springer
16 years 1 months ago
2009
Springer
Wikis are a well-known Web 2.0 content management platform. The
163
click to vote
UML
2005
Springer
16 years 8 days ago
2005
Springer
Quality management is an important aspect of business processes. Organizations must implement quality requirements, e.g., according to