Sciweavers

2185 search results - page 201 / 437
» Context for semantic metadata
Sort
View
ACSD
2005
IEEE
124views Hardware» more  ACSD 2005»
15 years 11 months ago
Safety-Liveness Semantics for UML 2.0 Sequence Diagrams
We provide an automata-theoretic solution to one of the main open questions about the UML standard, namely how to assign a formal semantics to a set of sequence diagrams without c...
Radu Grosu, Scott A. Smolka
SKG
2005
IEEE
15 years 11 months ago
Information Services for Dynamically Assembled Semantic Grids
The information management requirements in systems based on Web Service Architecture principles include both the management of large amounts of relatively static services and assoc...
Mehmet S. Aktas, Geoffrey Fox, Marlon E. Pierce
HT
2005
ACM
15 years 11 months ago
Semantically annotated hypermedia services
Hypermedia systems’ researchers investigate the various approaches in the way documents and resources are linked, navigated and stored in a distributed environment. Unfortunatel...
Ippokratis Pandis, Nikos Karousos, Thanassis Tirop...
WAC
2004
Springer
15 years 11 months ago
Semantic-Based Policy Engineering for Autonomic Systems
Abstract. This paper presents some important directions in the use of ontologybased semantics in achieving the vision of Autonomic Communications. We examine the requirements of Au...
David Lewis, Kevin Feeney, Kevin Carey, Thanassis ...
QSIC
2003
IEEE
15 years 11 months ago
A Note on Test Oracles and Semantics of Algebraic Specifications
Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checki...
Hong Zhu