Sciweavers

62 search results - page 5 / 13
» A model of norm emergence and innovation in language change
Sort
View
SIGSAND
2008
13 years 9 months ago
Modelling Complex Events with Event-Driven Process Chains
: The emerging technology complex event processing can be utilized to integrate complex events into business processes and to flexibly adjust processes on changing business require...
Jonas Rommelspacher
ICALP
1999
Springer
13 years 12 months ago
Wide Area Computation
Abstract. The last decades have seen the emergence of the sea of objects paradigm for structuring complex distributed systems on workstations and local area networks. In this appro...
Luca Cardelli
ESOP
2006
Springer
13 years 11 months ago
A Verification Methodology for Model Fields
Model fields are specification-only fields that encode abstractions of the concrete state of a data structure. They allow specifications to describe the behavior of object-oriented...
K. Rustan M. Leino, Peter Müller
HCW
1998
IEEE
13 years 12 months ago
Heterogeneous Programming with Java: Gourmet Blend or Just a Hill of Beans?
The heterogeneous parallel processing community has long been struggling to bring its approach to computation into the mainstream. One major impediment is that no popular programm...
Charles C. Weems
APCCM
2009
13 years 8 months ago
Towards Accurate Conflict Detection in a VCS for Model Artifacts: A Comparison of Two Semantically Enhanced Approaches
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this important task some graph-based VCSs for model artifacts already emerge...
Kerstin Altmanninger, Gabriele Kotsis