1008 search results - page 100 / 202 » Canonicity! |
152
Voted
ADAEUROPE
2005
Springer
15 years 9 months ago
2005
Springer
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
121
Voted
CAV
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
109
click to vote
CP
2005
Springer
15 years 9 months ago
2005
Springer
One of the critical problems in the call center industries is the staffing problem since they must face variable demands and because staff costs represent a major part of the cost...
118
Voted
ECOOP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. A software product-line is a family of related programs. Each program is defined by a unique combination of features, where a feature is an increment in program functiona...
132
Voted
EGC
2005
Springer
15 years 9 months ago
2005
Springer
We present a new approach to the grid technology that is based on federated databases and updatable views. Views are used in two ways: (1) as wrappers of local servers that adopt l...