7124 search results - page 808 / 1425 » Programming Languages and Operating Systems |
190
click to vote
JUCS
2006
15 years 7 months ago
2006
Abstract: Most modern computer applications should run on heterogeneous platforms and, moreover, objects and respective code should be easily interchangeable between distinct platf...
189
click to vote
FSTTCS
2003
Springer
16 years 13 days ago
2003
Springer
We define a new model called O-PRS that extends the Process Rewrite Systems formalism with a new associative operator, “ ”, that allows to model parallel composition while ke...
219
Voted
ECBS
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
206
click to vote
SAC
2005
ACM
16 years 23 days ago
2005
ACM
This paper describes the use of fault tolerance in a multiagent system. Such an approach is based on the modeling of autonomous agents with planning capabilities. These capabiliti...
184
click to vote
ENTCS
2008
15 years 7 months ago
2008
Hybrid Chi is a process algebra for the modeling and analysis of hybrid systems. It enables modular specification of hybrid systems by means of a large set of atomic statements an...