Sciweavers

7580 search results - page 1343 / 1516
» Prometheus design tool
Sort
View
FTCS
1998
114views more  FTCS 1998»
15 years 6 months ago
Verification of a Safety-Critical Railway Interlocking System with Real-Time Constraints
Ensuring the correctness of computer systems used in lifecritical applications is very difficult. The most commonly used verification methods, simulation and testing, are not exha...
Vicky Hartonas-Garmhausen, Sérgio Vale Agui...
150
Voted
WSCG
2003
171views more  WSCG 2003»
15 years 6 months ago
A Task Definition Language for Virtual Agents
The use of Virtual Environments as a user interface can be important for certain types of applications, especially in the fields of education and entertainment. These synthetic wo...
Spyros Vosinakis, Themis Panayiotopoulos
IC
2000
15 years 6 months ago
Tree Delta Transcoding for Efficient Dynamic Resource Delivery on Asymmetric Internet
The paper presents a scheme for serving dynamic resources over the Internet. The method uses a combination of structured fragmentation of dynamic resources in a tree hierarchy and...
Javed I. Khan
AAAI
1997
15 years 6 months ago
Template-Based Information Mining from HTML Documents
Tools for mining information from data can create added value for the Internet. As the majority of electronic documents available over the network are in unstructured textual form...
Jane Yung-jen Hsu, Wen-tau Yih
126
Voted
WSC
1998
15 years 6 months ago
Using Simulation in Call Centers
A company's call center is its most visible strategic weapon. It is a business battlefront where millions of dollars of products and services are purchased, sold, and traded....
Vivek Bapat, Eddie B. Pruitte Jr.
« Prev « First page 1343 / 1516 Last » Next »