Sciweavers

4919 search results - page 637 / 984
» A Process-Ontological Model for Software Engineering
Sort
View
TACS
1997
Springer
15 years 8 months ago
Type System for Specializing Polymorphism
Abstract. Flexibility of programming and efficiency of program execution are two important features of a programming language. Unfortunately, however, there is an inherent conflict...
Atsushi Ohori
CISSE
2008
Springer
15 years 6 months ago
Network Topology Impact on Influence Spreading
-- Networks composed of large number of nodes interacting in structured ways such as power grids, communication networks, social networks or market networks are critical port of th...
Sasho Gramatikov, Dimitar Trajanov, Ljupco Kocarev...
FOSSACS
2008
Springer
15 years 6 months ago
Symbolic Semantics Revisited
Abstract. Symbolic bisimulations were introduced as a mean to define value-passing process calculi using smaller, possibly finite labelled transition systems, equipped with symboli...
Filippo Bonchi, Ugo Montanari
ASWEC
2010
IEEE
15 years 4 months ago
Support for Business Process Flexibility in Service Compositions: An Evaluative Survey
— Service compositions provide a promising way to realize and coordinate automated support for business activities and processes. These business processes and their automated sup...
Malinda Kapuruge, Jun Han, Alan W. Colman
ENTCS
2010
165views more  ENTCS 2010»
15 years 4 months ago
Correct Execution of Reconfiguration for Stateful Components
In component-based software engineering, reconfiguration describes structural changes to the architecture of a component system. For stateful components, not only structural but a...
Moritz Hammer, Alexander Knapp