3160 search results - page 173 / 632 » Postcards from the future |
FUIN
2008
13 years 8 months ago
2008
Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and comple...
JIKM
2008
13 years 8 months ago
2008
This article describes a framework for managing the life cycle of knowledge in organisations and to utilise this framework for reusing and repurposing knowledge work. The framework...
ENTCS
2007
13 years 8 months ago
2007
Bialgebraic semantics, invented a decade ago by Turi and Plotkin, is an approach to formal reasoning about well-behaved structural operational specifications. An extension of alg...
ENTCS
2007
13 years 8 months ago
2007
When modelling complex interactive systems, traditional interactor-based approaches suffer from lack of expressiveness regarding the composition of the different interactors pre...
CCR
2005
13 years 8 months ago
2005
Some in the research community perceive the Internet Engineering Task Force (IETF) as ossified and see the difficulty in standardizing new protocols as an indication that there is...