Sciweavers

2060 search results - page 382 / 412
» OPM Web - Object-Process Methodology for Developing Web Appl...
Sort
View
TCS
2008
13 years 7 months ago
A timed semantics of Orc
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...
Ian Wehrman, David Kitchin, William R. Cook, Jayad...
TWC
2008
119views more  TWC 2008»
13 years 7 months ago
Flow-level performance of opportunistic OFDM-TDMA and OFDMA networks
Abstract--In this paper, the flow-level performance of opportunistic scheduling in orthogonal frequency division multiplexing (OFDM) networks is studied. The analysis accounts for ...
Lei Lei, Chuang Lin, Jun Cai, Xuemin Shen
DSS
2000
94views more  DSS 2000»
13 years 7 months ago
Intelligent internet searching agent based on hybrid simulated annealing
Z .The World-Wide Web WWW based Internet services have become a major channel for information delivery. For the same reason, information overload also has become a serious problem...
Christopher C. Yang, Jerome Yen, Hsinchun Chen
ENTCS
2002
145views more  ENTCS 2002»
13 years 7 months ago
Combining Monitors for Runtime System Verification
Runtime verification permits checking system properties that cannot be fully verified off-line. This is particularly true when the system includes complex third-party components, ...
Joshua Levy, Hassen Saïdi, Tomás E. Ur...
JNCA
1998
108views more  JNCA 1998»
13 years 7 months ago
User interface for video observation over the internet
We present the design and application of a system for live video transmission and remote camera control over the World Wide Web. Extensive testing of the Internet Video Server IV...
Bor Prihavec, Franc Solina