Sciweavers

72 search results - page 4 / 15
» Functional Notation for Indexed Concepts
Sort
View
EDOC
2004
IEEE
13 years 11 months ago
Formalizing ODP Computational Viewpoint Specifications in Maude
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational obj...
José Raúl Romero, Antonio Vallecillo
ECBS
2009
IEEE
101views Hardware» more  ECBS 2009»
13 years 11 months ago
Structured Formalization of Service-Oriented Specifications
We present and formalize concepts for the structured specification of system behavior based on services. Services are patterns of interaction between reactive components, thus sup...
Markus Herrmannsdoerfer, Sabine Rittmann, Bernhard...
PDSE
1998
131views more  PDSE 1998»
13 years 8 months ago
A Formally Founded Description Technique for Business Processes
As a means of modeling typical system behavior, we present a description technique for business processes derived from data flow nets and provide it with a formal semantics based ...
Veronika Thurner
ICFP
2003
ACM
14 years 7 months ago
Software is discrete mathematics
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
Rex L. Page
GI
2004
Springer
14 years 25 days ago
An Architecture Concept for Mobile P2P File Sharing Services
Abstract: File-sharing in mobile networks has differing demands to a P2P architecture. Resource access and mediation techniques must follow constraints given in 2.5G/3G networks. E...
Frank-Uwe Andersen, Hermann de Meer, Ivan Dedinski...