Sciweavers

97 search results - page 6 / 20
» Knowledge-Based Synthesis of Distributed Systems Using Event...
Sort
View
RANLP
2003
13 years 9 months ago
Semantically driven approach for scenario recognition in the IE system FRET
This paper reports a research effort in scenario recognition task in information extraction. The presented approach uses partial semantic analysis based on logical form representa...
Svetla Boytcheva, Milena Yankova, Albena Strupchan...
JPDC
2008
100views more  JPDC 2008»
13 years 7 months ago
Data-stream-based global event monitoring using pairwise interactions
The problem of global state observation is fundamental to distributed systems and to the analysis of data streams. Many interactions in distributed systems can be analyzed in term...
Punit Chandra, Ajay D. Kshemkalyani
TASE
2008
IEEE
13 years 7 months ago
Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
Situated Multi-Agents Systems (MAS), and other Agentbased systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. E...
Arnaud Lanoix
APPINF
2003
13 years 9 months ago
A Generated Management for Distributed Systems
An approach for specifying the management of a distributed system is herein described. Based on this formal approach, a management can be generated. The base of the specification ...
Thomas Peschel-Findeisen, Bertram Hütter
JUCS
2007
108views more  JUCS 2007»
13 years 7 months ago
An OWL Ontology of Set of Experience Knowledge Structure
: Collecting, distributing and sharing knowledge in a knowledge-explicit way is a significant task for any company. However, collecting decisional knowledge in the form of formal d...
Cesar Sanín, Edward Szczerbicki, Carlos Tor...