Sciweavers

2538 search results - page 413 / 508
» Business Process Cockpit
Sort
View
147
Voted
WECWIS
2007
IEEE
172views ECommerce» more  WECWIS 2007»
15 years 10 months ago
An Analysis Tool for Execution of BPEL Services
Business Process Execution Language (BPEL) is an XML-based language for specifying services. There have been numerous recent research and development efforts in both statically an...
Ariane Gravel, Xiang Fu, Jianwen Su
122
Voted
SIGADA
2005
Springer
15 years 9 months ago
The affordable application of formal methods to software engineering
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
James F. Davis
268
Voted
OOPSLA
2004
Springer
15 years 9 months ago
Modeling event driven applications with a specification language (MEDASL)
Radio Frequency Identification (RFID) technology provides the means to track any object, any time, anywhere with Electronic Product Codes (EPC). A major consequence of this techno...
Murali Kaundinya, Ali Syed
124
Voted
ACMICEC
2003
ACM
118views ECommerce» more  ACMICEC 2003»
15 years 9 months ago
Visualization of EDI messages: facing the problems in the use of XML
Multi-organizational EDI message networks are complicated communication environments with various standards and technologies. The role of third party message exchange hubs has bec...
Reija Korhonen, Airi Salminen
109
Voted
ECRA
2002
113views more  ECRA 2002»
15 years 3 months ago
A European perspective towards online one-stop government: the eGOV project
E-Government reflects current visions for public administrations towards modernization and reorganization. Thereof, online one-stop Government targets the improvement of customer-...
Maria Wimmer