Sciweavers

8627 search results - page 1359 / 1726
» Software Engineering Using RATionale
Sort
View
IHIS
2005
ACM
16 years 13 days 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
BPM
2005
Springer
85views Business» more  BPM 2005»
16 years 13 days ago
Modeling and Analysis of Mobile Service Processes by Example of the Housing Industry
This article describes the method of Mobile Process Landscaping by example of a project in which the service processes of a company from the housing industry were analyzed regardin...
Volker Gruhn, André Köhler, Robert Kla...
EDO
2005
Springer
16 years 12 days ago
Striving for versatility in publish/subscribe infrastructures
Publish/subscribe infrastructures are used as the basic communication and integration framework in many application domains. The majority of those infrastructures, however, fall s...
Roberto Silveira Silva Filho, David F. Redmiles
EMSOFT
2005
Springer
16 years 12 days ago
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip
SystemC is becoming a de-facto standard for the description of complex systems-on-a-chip. It enables system-level descriptions of SoCs: the same language is used for the descripti...
Matthieu Moy, Florence Maraninchi, Laurent Maillet...
MIDDLEWARE
2005
Springer
16 years 11 days ago
Context aware sensornet
Advances in MEMS technology, wireless communications, and digital electronics have enabled the development of low-cost, low-power, multifunctional sensor nodes that integrating th...
Huaifeng Qin, Xingshe Zhou
« Prev « First page 1359 / 1726 Last » Next »