453 search results - page 67 / 91 » Geometric logic as a Specification Language |
147
click to vote
CSAC
2006
15 years 1 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
109
click to vote
HASE
1999
IEEE
15 years 4 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
109
click to vote
DLOG
2006
15 years 1 months ago
2006
On the Semantic Web, there has been increasing demand for a ruleslike expressivity that goes beyond OWL-DL. Efforts of combining rules languages and description logics usually pro...
ENTCS
2008
14 years 11 months ago
2008
In this paper, a model for websites is presented. The model is well-suited for the formal verification of dynamic as well as static properties of the system. A website is defined ...
100
Voted
WWW
2002
ACM
16 years 12 days ago
2002
ACM
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...