Sciweavers

1912 search results - page 233 / 383
» GOAL as a Planning Formalism
Sort
View
SEMWEB
2010
Springer
15 years 4 months ago
Towards Technology Structure Mining from Scientific Literature
Abstract. This paper introduces the task of Technology-Structure Mining to support Management of Technology. We propose a linguistic based approach for identification of Technology...
Behrang QasemiZadeh
CAISE
2010
Springer
15 years 1 months ago
Workflow Time Patterns for Process-Aware Information Systems
Abstract. Formal specification and operational support of time constraints constitute fundamental challenges for any process-aware information system. Although temporal constraints...
Andreas Lanz, Barbara Weber, Manfred Reichert
ICOM
2011
14 years 10 months ago
A Context-Aware Proactive Controller for Smart Environments
In this paper we describe an implicit user interface for smart environment control: We make our system guess how to assist the user(s) proactively. Our controller is based on two ...
Frank Krüger, Gernot Ruscher, Sebastian Bader...
JUCS
2008
113views more  JUCS 2008»
15 years 6 months ago
What is Correctness of Security Protocols?
: As soon as major protocol flaws were discovered empirically -- a good luck that is not older than the early 1990s -- this title question came up to the world. It was soon realise...
Giampaolo Bella
HICSS
2002
IEEE
130views Biometrics» more  HICSS 2002»
15 years 11 months ago
A Set Theory Based Approach on Applying Domain Semantics to XML Structures
As XML is gathering more and more importance in the field of data interchange in distributed business to business (B2B) applications, it is increasingly important to provide a for...
Wolfgang Schuetzelhofer, Karl M. Göschka