9989 search results - page 115 / 1998 » A CLP Approach to Modelling Systems |
151
click to vote
ASE
1999
15 years 4 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...
132
click to vote
EWSPT
2003
Springer
15 years 9 months ago
2003
Springer
The issue of building a Process Support System Environment (PSSE), or a family of PSEE, to make them interoperate or to use them to pilot applications or services requires new solu...
144
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We consider the dynamic feedback problem in a class of hybrid systems modeled as (infinite) state deterministic transition systems, in which the continuous variables are...
150
click to vote
IPPS
2007
IEEE
15 years 10 months ago
2007
IEEE
Heterogeneity has been considered in scheduling, but without taking into account the temporal variation of completion times of the sub-tasks for a divisible, independent task. In ...
153
Voted
KESAMSTA
2010
Springer
15 years 2 months ago
2010
Springer
Real-time computations in multi-agent systems have been studied from different perspectives of reasoning, message passing, resource management and negotiations. Separate treatment...