Sciweavers

1678 search results - page 225 / 336
» An ASM Specification of C
Sort
View
CORR
2004
Springer
106views Education» more  CORR 2004»
15 years 6 months ago
Roaming Real-Time Applications - Mobility Services in IPv6 Networks
Emerging mobility standards within the next generation Internet Protocol, IPv6, promise to continuously operate devices roaming between IP networks. Associated with the paradigm o...
Thomas C. Schmidt, Matthias Wählisch
CORR
2002
Springer
93views Education» more  CORR 2002»
15 years 6 months ago
Modeling Complex Domains of Actions and Change
This paper studies the problem of modeling complex domains of actions and change within highlevel action description languages. We investigate two main issues of concern: (a) can ...
Antonis C. Kakas, Loizos Michael
ENVSOFT
2002
129views more  ENVSOFT 2002»
15 years 6 months ago
Linking GIS and water resources management models: an object-oriented method
Many challenges are associated with the integration of geographic information systems (GISs) with models in specific applications. One of them is adapting models to the environmen...
Daene C. McKinney, Ximing Cai
MICRO
2000
IEEE
72views Hardware» more  MICRO 2000»
15 years 6 months ago
PipeRench implementation of the instruction path coprocessor
This paper demonstrates how an Instruction Path Coprocessor (I-COP) can be efficiently implemented using the PipeRench reconfigurable architecture. An I-COP is a programmable on-c...
Yuan C. Chou, Pazhani Pillai, Herman Schmit, John ...
ML
2000
ACM
157views Machine Learning» more  ML 2000»
15 years 6 months ago
A Multistrategy Approach to Classifier Learning from Time Series
We present an approach to inductive concept learning using multiple models for time series. Our objective is to improve the efficiency and accuracy of concept learning by decomposi...
William H. Hsu, Sylvian R. Ray, David C. Wilkins