663 search results - page 42 / 133 » E-connections of abstract description systems |
ENTCS
2008
13 years 7 months ago
2008
This paper presents an approach which supports verification and model-based adaptation of software compod services implemented using Windows Workflow Foundation (WF). First, we pr...
ENTCS
2007
13 years 7 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...
JUCS
2002
13 years 7 months ago
2002
Abstract: This paper presents a complete system for scheduling transportation orders to a fleet of autonomous mobile robots in service environments. It consists of the autonomous m...
JELIA
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Nonmonotonic causal logic became a basis for the semantics of several expressive action languages. Norman McCain and Paolo Ferraris showed how to embed propositional caus...
ICWL
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. Learning style is one of the individual differences that play an important but controversial role in the learning process. This paper aims at providing a critical analysi...