Sciweavers

2409 search results - page 270 / 482
» Logical systems for structured specifications
Sort
View
EUROMICRO
1999
IEEE
15 years 8 months ago
Software Synthesis for System Level Design Using Process Execution Trees
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
Leo J. van Bokhoven, Jeroen Voeten, Marc Geilen
ISTA
2007
15 years 5 months ago
Integrating Manufacturing System Simulation Development A methodological framework
: Today, discrete-event simulation (DES) use in the manufacturing industry has become widespread, but far from all companies use this technology.Often simulation is used on a `one-...
Jamal Mtaawa, Zidan Basher
EUMAS
2006
15 years 5 months ago
Applications and Environments for Multi-agent Systems
This paper addresses multi agent system (MAS) environments from an application perspective. It presents a structured view on environment-centric MAS applications. This comprises th...
Paul Valckenaers, John A. Sauter, Carles Sierra, J...
IADIS
2004
15 years 5 months ago
Design issues and managing method of integrated gateway system for mobile internet service
IMT-2000 has been developing in both cdma2000 and W-CDMA, and their convergence or harmonization has also been discussed in several standard organizations. Besides the most expert...
Soon-Choul Kim, Jae-Hong Ryu, Won Ryu
PAKM
2004
15 years 5 months ago
Incremental Knowledge Acquisition for Building Sophisticated Information Extraction Systems with KAFTIE
Abstract. The aim of our work is to develop a flexible and powerful Knowledge Acquisition framework that allows users to rapidly develop Natural Language Processing systems, includ...
Son Bao Pham, Achim G. Hoffmann