191 search results - page 27 / 39 » Validating Run-time Interactions in Distributed Java Applica... |
ICSM
2000
IEEE
13 years 11 months ago
2000
IEEE
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...
ICSOC
2007
Springer
14 years 1 months ago
2007
Springer
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...
COORDINATION
2010
Springer
13 years 10 months ago
2010
Springer
Increasing sizes of present-day distributed software systems call for coordination models which are both modular and scalable. Precise modelling of real-life applications further r...
FM
1997
Springer
13 years 11 months ago
1997
Springer
: The widely accepted possible benefits of formal methods on the one hand and their minor use compared to informal or graphical description techniques on the other hand have repeat...
ICDCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Software-splitting is a technique for protecting software from piracy by removing code fragments from an application and placing them on a remote trusted server. The server provid...