Sciweavers

1419 search results - page 29 / 284
» Notes on Formalizing Context
Sort
View
67
Voted
SYNASC
2007
IEEE
131views Algorithms» more  SYNASC 2007»
15 years 6 months ago
Adaptive Information Provisioning in an Agent-Based Virtual Organization- Preliminary Considerations
In this note we consider design of an information provisioning subsystem for an agent-based virtual organization. Flexible delivery of information is based on matching of ontologi...
Maria Ganzha, Marcin Paprzycki, Maciej Gawinecki, ...
111
Voted
ADBIS
2010
Springer
203views Database» more  ADBIS 2010»
14 years 11 months ago
Detecting XML Functional Dependencies through Formal Concept Analysis
Abstract. As XML becomes a popular data representation and exchange format over the web, XML schema design has become an important research area. Formal Concept Analysis (FCA) has ...
Katalin Tunde Janosi-Rancz, Viorica Varga, Timea N...
ECOWS
2006
Springer
15 years 4 months ago
Formal Modelling and Verification of an Asynchronous Extension of SOAP
Current web services are largely based on a synchronous request-response model that uses the Simple Object Access Protocol SOAP. Next-generation telecommunication networks, on the...
Maurice H. ter Beek, Stefania Gnesi, Franco Mazzan...
89
Voted
LPAR
2007
Springer
15 years 6 months ago
Complexity of Planning in Action Formalisms Based on Description Logics
Abstract. In this paper, we continue the recently started work on integrating action formalisms with description logics (DLs), by investigating planning in the context of DLs. We p...
Maja Milicic
79
Voted
ICSE
1994
IEEE-ACM
15 years 4 months ago
Applying Formal Methods for Human Error Tolerant Design
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...
Bob Fields, Peter C. Wright, Michael D. Harrison