10263 search results - page 280 / 2053 » From Use Cases to System Operation Specifications |
196
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
Abstract. Though ontologies are widely used to solve some specific interoperability problems, there is no specific ontology defining what interoperability actually is, independentl...
159
click to vote
CERA
2004
15 years 7 months ago
2004
Concurrent engineering (CE) design demands the consideration of product life-cycle issues in the early product design stage. Among various life-cycle issues, this work concentrate...
297
click to vote
SIGMOD
2006
ACM
16 years 7 months ago
2006
ACM
Rapid advancements in positioning systems and wireless communications enable accurate tracking of continuously moving objects. This development poses new challenges to database te...
192
click to vote
ECBS
2009
IEEE
16 years 2 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
217
click to vote
ISM
2006
IEEE
16 years 1 months ago
2006
IEEE
During day-to-day activities, a user refers to various data items on a PC, such as documents, images, and audio clips. However, when the number of items in the history increases, ...