Sciweavers

5904 search results - page 238 / 1181
» Requirements for a Composition Language
Sort
View
ICWE
2010
Springer
15 years 2 months ago
Connecting Smart Things through Web Services Orchestrations
The Web of Things is an emerging scenario in which objects are connected to Internet and can answer to HTTP queries. To date, new applications in this field are mainly produced by ...
Antonio Pintus, Davide Carboni, Andrea Piras, Ales...
ESWS
2009
Springer
15 years 2 months ago
Towards an Agent Based Approach for Verification of OWL-S Process Models
Abstract. In this paper we investigate the transformation of OWL-S process models to ISPL - the system description language for MCMAS, a symbolic model checker for multi agent syst...
Alessio Lomuscio, Monika Solanki
UML
2005
Springer
15 years 9 months ago
Activity Diagram Patterns for Modeling Quality Constraints in Business Processes
Quality management is an important aspect of business processes. Organizations must implement quality requirements, e.g., according to
Alexander Förster, Gregor Engels, Tim Schattk...
PPDP
2005
Springer
15 years 9 months ago
ReactiveML: a reactive extension to ML
We present ReactiveML, a programming language dedicated to the implementation of complex reactive systems as found in graphical user interfaces, video games or simulation problems...
Louis Mandel, Marc Pouzet
ICFP
2012
ACM
13 years 6 months ago
Shake before building: replacing make with haskell
Most complex software projects are compiled using a build tool (e.g. make), which runs commands in an order satisfying userdefined dependencies. Unfortunately, most build tools r...
Neil Mitchell