446 search results - page 23 / 90 » LTS semantics for use case models |
106
click to vote
IJIS
2011
14 years 3 months ago
2011
In this paper, we propose a method for modeling concepts in full computation-tree logic with sequence modal operators. An extended full computation-tree logic, CTLS∗ , is introdu...
FASE
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...
100
click to vote
JUCS
2007
14 years 11 months ago
2007
: Ontologies have been recognized as a fundamental infrastructure for advanced approaches to Knowledge Management (KM) automation in SOA. Building services communicate with each ot...
100
click to vote
DEXAW
2003
IEEE
15 years 5 months ago
2003
IEEE
The Semantic Web, also known as the Web of meaning, is considered the new generation of the Web. Its objective is to enable computers and people to work in cooperation. A requisit...
95
Voted
ECOOPW
1997
Springer
15 years 3 months ago
1997
Springer
An object-oriented (OO) model has a static component, the set of allowable snapshots or system states, and a dynamic component, the set of filmstrips or sequences of snapshots. Dia...