244 search results - page 20 / 49 » Towards Coalgebraic Behaviourism |
PPAM
2005
Springer
14 years 1 months ago
2005
Springer
The main objective of the Intelligent GRID Scheduling System (ISS) project is to provide a middleware infrastructure allowing a good positioning and scheduling of real life applic...
SEMWEB
2005
Springer
14 years 1 months ago
2005
Springer
Killer apps are highly transformative technologies that create new markets and widespread patterns of behaviour. IT generally, and the Web in particular, has benefited from killer...
GBRPR
2005
Springer
14 years 1 months ago
2005
Springer
In this paper we explore how a spectral technique suggested by quantum walks can be used to distinguish non-isomorphic cospectral graphs. Reviewing ideas from the field of quantum...
ACSD
2003
IEEE
14 years 26 days ago
2003
IEEE
In this paper, we present a mathematical model for the composition of software components, at a semantic modelling level. We describe a mathematical concept of a single software c...
ECAL
2003
Springer
14 years 24 days ago
2003
Springer
Abstract. This paper reports on the proof-of-concept work to produce an energetically autonomous robot employing an artificial metabolic system using Microbial Fuel Cells. The pres...