Sciweavers

605 search results - page 80 / 121
» The role of software processes and communication in offshore...
Sort
View
COMPSAC
2003
IEEE
14 years 2 months ago
Automating Checking of Models Built Using a Graphically Based Formal Modelling Language
RDT is a graphical formal modelling language in which the modeller works by constructing diagrams of the processes in their model which they then join together to form complete sy...
Robert John Walters
ECWEB
2000
Springer
128views ECommerce» more  ECWEB 2000»
14 years 8 days ago
Dynamic-Agents, Workflow and XML for E-Commerce Automation
Agent technologies are now being considered for automating tasks in e-commerce applications. However, conventional software agents with predefined functions, but without the abilit...
Qiming Chen, Umeshwar Dayal, Meichun Hsu, Martin L...
ICSE
2008
IEEE-ACM
14 years 9 months ago
Data flow testing of service-oriented workflow applications
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...
Lijun Mei, W. K. Chan, T. H. Tse
ADAEUROPE
2009
Springer
14 years 3 months ago
Weak Fairness Semantic Drawbacks in Java Multithreading
With the development of embedded and mobile systems, Java is widely used for application programs and is also considered for implementing systems kernel or application platforms. I...
Claude Kaiser, Jean-François Pradat-Peyre
APSEC
2004
IEEE
14 years 13 days ago
A Dual-Mode Exerciser for a Collaborative Computing Environment
Computer-supported cooperative work (CSCW) supports groups with communication and coordination during the execution of their activities. It allows physically dispersed teams to en...
Chien-Min Wang, Shyh-Fong Hong, Shun-Te Wang, Hsi-...