1438 search results - page 96 / 288 » Relational aspects as tracematches |
185
click to vote
ECAL
2003
Springer
15 years 11 months ago
2003
Springer
A formal language approach for the specification of ALife models is presented. “Relational Growth Grammars” incorporate rulebased, procedural and object-oriented concepts. By ...
156
click to vote
FM
2003
Springer
15 years 11 months ago
2003
Springer
Simple retrenchment is briefly reviewed in the B language of J.-R. Abrial [1] as a liberalisation of classical refinement, for the formal description of application developments ...
164
click to vote
HPDC
2002
IEEE
15 years 11 months ago
2002
IEEE
Rather than painful, manual, static, per-connection optimization of TCP buffer sizes simply to achieve acceptable performance for distributed applications [8, 10], many researcher...
162
click to vote
ECWEB
2001
Springer
15 years 11 months ago
2001
Springer
Information Technology has changed our life and society already to such an extent that even our visions cannot exist without technology and its applications. And this change is acc...
175
click to vote
CINQ
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Constrained graphs are directed graphs describing the control flow of processes models. In such graphs, nodes represent activities involved in the process, and edges the ...