5599 search results - page 156 / 1120 » Abstract State Services |
126
click to vote
VALUETOOLS
2006
ACM
15 years 8 months ago
2006
ACM
Motivated by the need to study traffic flow affected by incidents we consider M/M/C queueing system where servers operate in a Markovian environment. When a traffic incident hap...
118
click to vote
DATE
2004
IEEE
15 years 5 months ago
2004
IEEE
This article presents an approach, which combines theorem proving-based refinement with model checking for state based real-time systems. Our verification flow starts from UML sta...
147
click to vote
ICSOC
2010
Springer
15 years 14 days ago
2010
Springer
Linked Data has become a popular term and method of how to expose structured data on the Web. There currently are two school of thought when it comes to defining what Linked Data ...
126
click to vote
SRDS
1998
IEEE
15 years 6 months ago
1998
IEEE
If a groupware system is to be effectively used, especially over a wide-are network such as the Internet, where the quality of networking and computing resources are unpredictable...
INTERACT
1997
15 years 3 months ago
1997
The conventional assumption that quality is an attribute of a product is misleading, as the attributes required for quality will depend on how the product is used. Quality of use ...