Sciweavers

2978 search results - page 42 / 596
» Operations Research
Sort
View
IWAN
1999
Springer
15 years 4 months ago
The Impact of Active Networks on Established Network Operators
A collaborative case based study has established that Active Networks will have a very significant impact on Network operators. Active Networking appears to be the only route to a...
Arto Juhola, Ian Marshall, Stefan Covaci, Thomas V...
WSC
2008
15 years 2 months ago
Simulation and visualization of traffic operations in Augmented Reality for improved planning and design of road construction pr
This paper describes research that investigated the application of 3D Augmented Reality (AR) for animating traffic simulation models in real time to support the planning and desig...
Amir H. Behzadan, Vineet R. Kamat
LISP
2008
105views more  LISP 2008»
14 years 11 months ago
Proving operational termination of membership equational programs
Abstract Reasoning about the termination of equational programs in sophisticated equational languages such as ELAN, MAUDE, OBJ, CAFEOBJ, HASKELL, and so on, requires support for ad...
Francisco Durán, Salvador Lucas, Claude Mar...
ETFA
2005
IEEE
15 years 5 months ago
Towards analyzing the fault-tolerant operation of server-CAN
This work-in-progress (WIP) paper presents Server-CAN and highlights its operation and possible vulnerabilities from a fault tolerance point of view. The paper extends earlier wor...
Thomas Nolte, Guillermo Rodríguez-Navas, Ju...
FLAIRS
2007
15 years 2 months ago
The Operational Annotation and the Analysis of the Correlative Coordination in French
Despite extensive theoretical work carried out on coordination during the last three decades, much research is still devoted to proving the merits of one model over another. In ou...
Ismaïl Biskri, Marc André Rochette