Sciweavers

742 search results - page 34 / 149
» Constructing Hierarchical Rule Systems
Sort
View
IHIS
2005
ACM
14 years 1 months ago
Verifying web services composition based on hierarchical colored petri nets
Current Web services composition proposals, such as BPML, BPEL, WSCI, and OWL-S, provide notations for describing the control and data flows in Web service collaborations. However...
Yanping Yang, QingPing Tan, Yong Xiao
LICS
2010
IEEE
13 years 6 months ago
Abstracting the Differential Semantics of Rule-Based Models: Exact and Automated Model Reduction
ing the differential semantics of rule-based models: exact and automated model reduction (Invited Lecture) Vincent Danos∗§, J´erˆome Feret†, Walter Fontana‡, Russell Harme...
Vincent Danos, Jérôme Feret, Walter F...
KI
2007
Springer
14 years 2 months ago
Proposal of Generalized Rule Programming Model
Abstract. Rule-based programming paradigm is omnipresent in number of engineering domains. However, there are some fundamental semantical differences between it, and classic progr...
Grzegorz J. Nalepa, Igor Wojnicki
RIAO
2000
13 years 9 months ago
Prosody Rule for Time Structure of Finger Braille
Finger braille is one of the communication methods for the deaf blind. The fingers of the deaf blind are regarded as keys of a brailler. Finger braille seems to be the most suited...
Manabi Miyagi, Yuji Fujimori, Yasuo Horiuchi, Akir...
INFOCOM
2010
IEEE
13 years 6 months ago
Reliable GPS-Free Double-Ruling-Based Information Brokerage in Wireless Sensor Networks
Abstract—Because the global positioning system (GPS) consumes a large amount of power and does not work indoors, many GPS-free information brokerage schemes are proposed for wire...
Chia-Hung Lin, Jian-Jhih Kuo, Ming-Jer Tsai