Sciweavers

3765 search results - page 259 / 753
» Qualitative Action Systems
Sort
View
JIT
2004
Springer
131views Database» more  JIT 2004»
16 years 18 days ago
Agile Software Engineering: A New System for an Expanding Business Model at SCHUFA
A software development unit called to renew or replace an existing corporate system may face some special problems in an established company with a lot of well-trained behavioral p...
Rainer Burkhardt, Volker Gruhn
ISI
2003
Springer
16 years 13 days ago
Active Database Systems for Monitoring and Surveillance
In many intelligence and security tasks it is necessary to monitor data in database in order to detect certain events or changes. Currently, database systems offer triggers to pro...
Antonio Badia
HICSS
2002
IEEE
90views Biometrics» more  HICSS 2002»
16 years 6 days ago
Human Factors Aspects of Power System Voltage Visualizations
This paper presents experimental results associated with the human factors aspects of using color contours to visualize electric power system bus voltage magnitude information. Pa...
Douglas A. Wiegmann, Aaron M. Rich, Thomas J. Over...
RR
2009
Springer
15 years 11 months ago
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
Robert A. Kowalski, Fariba Sadri
IPPS
2000
IEEE
15 years 11 months ago
A Framework for Embedded Real-Time System Design
This paper describes a framework for parametric analysis of real-time systems based on process algebra. The Algebra of Communicating Shared Resources ACSR has been extended to AC...
Jin-Young Choi, Hee-Hwan Kwak, Insup Lee