893 search results - page 105 / 179 » Environment Assumptions for Synthesis |
157
Voted
ECBS
2004
IEEE
15 years 7 months ago
2004
IEEE
The focus of typical architectural models is the description of large systems. Even though these systems are usually distributed, aspects of distributed systems are only addressed...
154
Voted
TYPES
1995
Springer
15 years 7 months ago
1995
Springer
Natural Deduction style presentations of program logics are useful in view of the implementation of such logics in interactive proof development environments, based on type theory,...
117
click to vote
NOSSDAV
1991
Springer
15 years 7 months ago
1991
Springer
The Real-time Channel Administration Protocol (RCAP) provides control and administration services for the Tenet real-time protocol suite, a connection-oriented suite of network an...
87
Voted
BMVC
2001
15 years 5 months ago
2001
This paper discusses advances made to the 3D geometrical model matching system within the TINA machine vision environment over the last 10 years including the recent inclusion of ...
164
click to vote
AINA
2007
IEEE
15 years 5 months ago
2007
IEEE
In mobile ad hoc networks (MANETs), multi-hop message relay is the common way for nodes to communicate and participate in network operations, making routing a primary issue. The e...