Sciweavers

1984 search results - page 205 / 397
» The colourful feasibility problem
Sort
View
IASTEDSEA
2004
15 years 7 months ago
Java bytecode verification with dynamic structures
Java applets run on a Virtual Machine that checks code's integrity and correctness before execution using a module called Bytecode Verifier. Java Card technology allows Java ...
Cinzia Bernardeschi, Luca Martini, Paolo Masci
FLAIRS
2006
15 years 7 months ago
Representation and Reasoning for Deeper Natural Language Understanding in a Physics Tutoring System
Students' natural language (NL) explanations in the domain of qualitative mechanics lie in-between unrestricted NL and the constrained NL of "proper" domain stateme...
Maxim Makatchev, Kurt VanLehn, Pamela W. Jordan, U...
AIPS
2003
15 years 7 months ago
Quality and Utility - Towards a Generalization of Deadline and Anytime Scheduling
Scheduling algorithms for real-time systems can be characterized in various ways, one of the most important ones of which is the underlying task model. Many concepts of real-time ...
Thomas Schwarzfischer
IFIP12
2004
15 years 7 months ago
Using Agents in the Exchange of Product Data
: This paper describes using agents in the exchange of industrial product data when predefined translators are not available. A major problem with standard translators is that a se...
Udo Kannengiesser, John S. Gero
IADIS
2003
15 years 7 months ago
Flexible Framework for Local Wireless Services
One of the main objectives in setting up wireless services is to provide feasible content for the mobile users wherever and whenever they might need it. The dream of having servic...
Tero Hakkarainen, Ali Lattunen, Vespe Savikk