Sciweavers

307 search results - page 34 / 62
» Towards Generic Refactoring
Sort
View
SEUS
2008
IEEE
15 years 11 months ago
A Two-Layered Management Architecture for Building Adaptive Real-Time Systems
The concepts of Autonomic and Organic Computing (AC/OC) promise to make modern computer systems more secure and easier to manage. In this paper, we extend the observer/controller a...
Florian Kluge, Sascha Uhrig, Jörg Mische, The...
TPHOL
2005
IEEE
15 years 10 months ago
Axiomatic Constructor Classes in Isabelle/HOLCF
We have definitionally extended Isabelle/HOLCF to support axiomatic Haskell-style constructor classes. We have subsequently defined the functor and monad classes, together with t...
Brian Huffman, John Matthews, Peter White
NAACL
2007
15 years 6 months ago
Extracting Appraisal Expressions
Sentiment analysis seeks to characterize opinionated or evaluative aspects of natural language text. We suggest here that appraisal expression extraction should be viewed as a fun...
Kenneth Bloom, Navendu Garg, Shlomo Argamon
161
Voted
IIWAS
2004
15 years 6 months ago
Decomposition and Reuse of Mobile Services
: Today, the development of new mobile services is associated with high costs and risks. The main aim of our research is to make this development process faster and more efficient ...
Elisabeth Dörr, Werner Winiwarter
ATAL
2004
Springer
15 years 10 months ago
Towards a Formal Approach to Overhearing: Algorithms for Conversation Identification
Overhearing is gaining attention as a generic method for cooperative monitoring of distributed, open, multiagent systems. It involves monitoring the routine conversations of agent...
Gery Gutnik, Gal A. Kaminka