CLEIEJ
2007
13 years 4 months ago
2007
This work presents proof rules for termination and non-termination for a subset of a C-like language that consists of the statements : assignation, composition, if, skip and while...
EJIS
2006
13 years 4 months ago
2006
This paper presents the design of a business-aligned information system (IS) from an actor-network perspective, viewing non-human intermediaries jointly as inscriptions and bounda...
FGCS
2008
13 years 4 months ago
2008
This paper presents a grid-enabled system for solving large-scale mixed integer programming (MIP) problems. The system has been developed using Globus and MPICH-G2, and consists o...
ESAW
2000
Springer
13 years 8 months ago
2000
Springer
This paper presents a survey on multi-agent platforms, with a particular focus on methodology. It presents the four stages of the construction of a multi-agent system and derives f...
DATE
2010
IEEE
13 years 9 months ago
2010
IEEE
— This paper presents the design of a 14 bit, 280 kS/s