Sciweavers

2152 search results - page 90 / 431
» An Abstract Account of Composition
Sort
View
CAISE
2003
Springer
15 years 11 months ago
From State to Structure: an XML Web Publishing Framework
Abstract. We present the main features of a system designed to support the development and delivery of web applications through concepts for modularity, reuse and rapid prototyping...
Moira C. Norrie, Alexios Palinginis
CSL
2006
Springer
15 years 10 months ago
Decidable Theories of the Ordering of Natural Numbers with Unary Predicates
Abstract. Expansions of the natural number ordering by unary predicates are studied, using logics which in expressive power are located between first-order and monadic second-order...
Alexander Moshe Rabinovich, Wolfgang Thomas
SFP
2004
15 years 7 months ago
Disjoint forms in graphical user interfaces
Abstract: Forms are parts of a graphical user interface (GUI) that show a (structured) value and allow the user to update it. Some forms express a choice between two or more (struc...
Sander Evers, Peter Achten, Rinus Plasmeijer
FUIN
2008
81views more  FUIN 2008»
15 years 6 months ago
On the Use of Behavioural Equivalences for Web Services' Development
Abstract. Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equival...
Filippo Bonchi, Antonio Brogi, Sara Corfini, Fabio...
ESAW
2006
Springer
15 years 10 months ago
Modelling and Executing Complex and Dynamic Business Processes by Reification of Agent Interactions
Interaction refers to an abstract and intangible concept. In modelling, intangible concepts can be embodied and made explicit. This allows to manipulate the abstractions and to bui...
Marco Stuit, Nick B. Szirbik