Sciweavers

755 search results - page 143 / 151
» Compiler generation from structural architecture description...
Sort
View
IWAN
2004
Springer
14 years 29 days ago
GateScript: A Scripting Language for Generic Active Gateways
In this paper, we present GateScript, a scripting language for active applications to be executed on generic active gateways. Unlike other active networking platforms, it offers a...
Hoa-Binh Nguyen, Andrzej Duda
DAC
2001
ACM
14 years 8 months ago
Dynamic Detection and Removal of Inactive Clauses in SAT with Application in Image Computation
In this paper, we present a new technique for the e cient dynamic detection and removal of inactive clauses, i.e. clauses that do not a ect the solutions of interest of a Boolean ...
Aarti Gupta, Anubhav Gupta, Zijiang Yang, Pranav A...
HICSS
2008
IEEE
120views Biometrics» more  HICSS 2008»
14 years 2 months ago
Optimizing the Supplier Selection and Service Portfolio of a SOA Service Integrator
The Service-Oriented Architecture (SOA) paradigm promises to enable software vendors to compose software systems using services purchased from various suppliers. In this paper, we...
Jan Christian Lang, Thomas Widjaja, Peter Buxmann,...
ICWE
2003
Springer
14 years 24 days ago
Morphoanalysis of Spanish Texts: Two Applications for Web Pages
The applications described here follow up the works performed in the recent last years by the Data Structures and Computational Linguistics Group at Las Palmas de Gran Canaria Univ...
Octavio Santana Suárez, Zenón Jos&ea...
ATAL
2004
Springer
14 years 1 months ago
Agents Swarming in Semantic Spaces to Corroborate Hypotheses
To anticipate and prevent acts of terrorism, Indications and Warnings analysts try to connect clues gleaned from massive quantities of complex data. Multi-agent approaches to supp...
Peter Weinstein, H. Van Dyke Parunak, Paul Chiusan...