9264 search results - page 72 / 1853 » Space Between Languages |
IFIP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...
FCT
1999
Springer
15 years 4 months ago
1999
Springer
Local event structures and local traces are generalizations of the classical prime event structures and Mazurkiewicz’ traces in which independence is no longer a global binary pr...
101
click to vote
CMSB
2009
Springer
15 years 6 months ago
2009
Springer
A major challenge in computational systems biology is the articulation of a biological process in a form which can be understood by the biologist yet is amenable to computational e...
111
click to vote
VW
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. This paper presents Webots: a realistic mobile robot simulator allowing a straightforward transfer to real robots. The simulator currently support the Khepera mobile robo...
DLOG
2003
15 years 1 months ago
2003
An object-oriented software design is often modelled as a collection of UML diagrams. There is an inherent need to preserve the consistency between these diagrams. Moreover, throu...