6348 search results - page 464 / 1270 » A Lesson for Software Engineering from Knowledge Engineering |
126
click to vote
IUI
2004
ACM
16 years 4 days ago
2004
ACM
This paper describes a concept for creating free configurable, intelligent behaving web dialogues for rule based expert systems. Free configurable is meant to indicate, that the d...
161
click to vote
IWSAS
2001
Springer
15 years 11 months ago
2001
Springer
We present an approach to self-adaptive systems utilizing explicit models of the design-space of the application. The design-space is captured by allowing the specification of alte...
172
Voted
PEPM
1994
ACM
15 years 10 months ago
1994
ACM
We present an efficient base algorithm for binding-time analysis based on constraint solving and the union-find algorithm. In practice it has been used to handle all of Standard M...
156
click to vote
APSEC
2004
IEEE
15 years 10 months ago
2004
IEEE
Tiny networked sensor devices will be disseminated over our physical life space, and take a significant role in realizing a ubiquitous computing environment. As sensor network tec...
208
Voted
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...