Sciweavers

9507 search results - page 1743 / 1902
» Time-based language models
Sort
View
DEXAW
2005
IEEE
142views Database» more  DEXAW 2005»
15 years 10 months ago
Service Composition for SDIs: Integrated Components Creation
We describe a methodology for creating composite web services, a key ingredient in spatial data infrastructure (SDI) applications, which we demonstrate on an emergency management ...
Carlos Granell, Michael Gould, Francisco Ramos
FOCS
2005
IEEE
15 years 10 months ago
Safraless Decision Procedures
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the...
Orna Kupferman, Moshe Y. Vardi
ICEBE
2005
IEEE
165views Business» more  ICEBE 2005»
15 years 10 months ago
Distributed Policy Specification and Enforcement in Service-Oriented Business Systems
Service-Oriented Computing (SOC) and Web Services (WS) provide a flexible computing platform for electronic business and commerce. Introducing policy-based computing to service-or...
Wei-Tek Tsai, Xinxin Liu, Yinong Chen
IEEEPACT
2005
IEEE
15 years 10 months ago
Communication Optimizations for Fine-Grained UPC Applications
Global address space languages like UPC exhibit high performance and portability on a broad class of shared and distributed memory parallel architectures. The most scalable applic...
Wei-Yu Chen, Costin Iancu, Katherine A. Yelick
INFOVIS
2005
IEEE
15 years 10 months ago
Visualizing Coordination In Situ
Exploratory visualization environments allow users to build and browse coordinated multiview visualizations interactively. As the number of views and amount of coordination increa...
Chris Weaver
« Prev « First page 1743 / 1902 Last » Next »