Sciweavers

7921 search results - page 1388 / 1585
» Process Modeling in Web Applications
Sort
View
FMICS
2010
Springer
13 years 10 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre
COMPUTER
2008
66views more  COMPUTER 2008»
13 years 9 months ago
Into the Wild: Low-Cost Ubicomp Prototype Testing
ions and techniques such as activity models, storyboards, and programming by demonstration (Y. Li and J. Landay, "Activity-Based Prototyping of Ubicomp Applications for Long-L...
Yang Li, James A. Landay
IJVR
2008
100views more  IJVR 2008»
13 years 9 months ago
User Pluggable Animation Components in Multi-user Virtual Environment
One of the key functions to popularize 3D content services on virtual environments is on the extensibility of the underlying system. In our previous work, we had implemented an ext...
Yu-Lin Chu, Tsai-Yen Li, Cheng-Chia Chen
JDCTA
2008
83views more  JDCTA 2008»
13 years 9 months ago
Translation from GDMO/ASN.1 to tML/Schema
For interoperation of heterogeneous management systems and integration of existing legacy applications in telecommunication network management systems, a translation from GDMO/ASN...
Wenli Dong
JSAC
2006
108views more  JSAC 2006»
13 years 9 months ago
Distributed Nonlinear Integer Optimization for Data-Optical Internetworking
Abstract--We present a novel approach for joint optical network provisioning and Internet protocol (IP) traffic engineering, in which the IP and optical networks collaboratively op...
Anwar Elwalid, Debasis Mitra, Qiong Wang
« Prev « First page 1388 / 1585 Last » Next »