Sciweavers

713 search results - page 44 / 143
» Static and Dynamic Semantics of the Web
Sort
View
FMCO
2003
Springer
144views Formal Methods» more  FMCO 2003»
15 years 3 months ago
Semantic Essence of AsmL
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
Yuri Gurevich, Benjamin Rossman, Wolfram Schulte
GCC
2005
Springer
15 years 3 months ago
A Conceptual Modeling Approach to Virtual Organizations in the Grid
One of the key problems with virtual organizations in the context of the (Semantic) Grid is we don’t know how to describe the components used in virtual organizations because the...
William Song, Xiaoming Li
KI
2009
Springer
15 years 2 months ago
Beyond Public Announcement Logic: An Alternative Approach to Some AI Puzzles
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
Pawel Garbacz, Piotr Kulicki, Marek Lechniak, Robe...
ICAS
2009
IEEE
142views Robotics» more  ICAS 2009»
15 years 4 months ago
Semantic Approach to Dynamic Coordination in Autonomous Systems
In open systems where the components, i.e. the agents and the resources, may be unknown at design time, or in dynamic and self-organizing systems evolving with time, there is a ne...
Artem Katasonov, Vagan Y. Terziyan
WWW
2004
ACM
15 years 10 months ago
Designing and Creating a Web Site Based on RDF Content
This paper presents a method and a tool for designing and automatically creating an HTML web site for publishing Semantic Web content represented in RDF(S). The idea is to specify...
Eero Hyvönen, Kim Viljanen, Markus Holi