Sciweavers

5196 search results - page 326 / 1040
» State of Application Assessment
Sort
View
HICSS
2003
IEEE
129views Biometrics» more  HICSS 2003»
16 years 2 days ago
Towards an Ontology for e-Document Management in Public Administration - the Case of Schleswig-Holstein
An action research project in the state administration of Schleswig-Holstein (Germany) seeks to answer the following questions: How can we organize and present edocuments so that ...
Ralf Klischewski
SC
2003
ACM
16 years 18 hour ago
Optimizing Reduction Computations In a Distributed Environment
We investigate runtime strategies for data-intensive applications that involve generalized reductions on large, distributed datasets. Our set of strategies includes replicated fi...
Tahsin M. Kurç, Feng Lee, Gagan Agrawal, &U...
LPNMR
2001
Springer
15 years 11 months ago
Multi-dimensional Dynamic Knowledge Representation
Abstract. According to Dynamic Logic Programming (DLP), knowledge may be given by a sequence of theories (encoded as logic programs) representing different states of knowledge. Th...
João Alexandre Leite, José Jú...
LICS
1996
IEEE
15 years 11 months ago
The Theory of Hybrid Automata
Ahybrid automatonis a formalmodelfor a mixeddiscrete-continuous system. We classify hybrid automata acoording to what questions about their behavior can be answered algorithmically...
Thomas A. Henzinger
COORDINATION
2006
Springer
15 years 10 months ago
Choreography and Orchestration Conformance for System Design
In a previous work we have presented a formal framework devoted to show the relevance of choreography and orchestration in the design of service oriented applications. Even if usef...
Nadia Busi, Roberto Gorrieri, Claudio Guidi, Rober...