2813 search results - page 492 / 563 » Formalizing Architectural Connection |
104
click to vote
CLIMA
2004
15 years 4 months ago
2004
In this work, we extend the architecture of agents (and robots) based upon fixed, one-size-fits-all cycles of operation, by providing a framework of declarative specification of ag...
149
click to vote
DBSEC
2001
15 years 4 months ago
2001
: In this paper we introduce a series of reference models for Secure Role-Based Workflow systems. We build our models over the well-known RBAC96 framework. 96 model supports the no...
118
click to vote
DAGSTUHL
2003
15 years 4 months ago
2003
Individual functional requirements represent fragments of behavior, while a design that satisfies a set of functional requirements represents integrated behavior. This perspective ...
128
click to vote
FORTE
2001
15 years 4 months ago
2001
Use cases are useful in various stages of the software process. They are very often described using text that has to be interpreted by system designers. This could lead to implemen...
112
click to vote
DLOG
2003
15 years 4 months ago
2003
Description Logics (DLs), as a field of research, form a formal foundation of first-order semantic Web ontology languages, such as DAML+OIL and OWL. The Semantic Web will build ...