2850 search results - page 270 / 570 » On Timed Models and Full Abstraction |
165
click to vote
IWDC
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. In ad hoc networks, node mobility causes the network topology to change dynamically over time, which complicates important tasks such as routing and flow control. We pro...
194
click to vote
RT
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Many disciplines must handle the creation, visualization, and manipulation of huge and complex 3D environments. Examples include large structural and mechanical engineeri...
194
click to vote
TOOLS
2000
IEEE
15 years 11 months ago
2000
IEEE
UML is widely used today for modelling complex systems. However, the tools support capabilities for UML is limited, partially due to its lack of precise semantics. There are some ...
168
click to vote
AI
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. The general timetabling problem is an assignment of activities to xed time intervals, adhering to a prede ned set of resource availabilities. Timetabling problems are di ...
229
click to vote
JHSN
2006
15 years 6 months ago
2006
It has been recognized for some time that software alone does not provide an adequate foundation for building a high-assurance trusted platform. The emergence of industry-standard ...