Sciweavers

2132 search results - page 297 / 427
» Automated software winnowing
Sort
View
AAAI
2006
15 years 6 months ago
TPBOSCourier: A Transportation Procurement System (for the Procurement of Courier Services)
TPBOSCourier is the Transportation Procurement and Bid Optimization System (TPBOS) for Philips Electronics to automate and optimize its procurement of courier services. It was joi...
Andrew Lim, Zhou Xu, Brenda Cheang, Wee-Kit Ho, St...
DAGSTUHL
2006
15 years 6 months ago
Modeling and Aspect Weaving
A model is a simplified representation of an aspect of the world for a specific purpose. Complex systems typically give rise to more than one model because many aspects are to be h...
Jean-Marc Jézéquel
147
Voted
AAAI
2000
15 years 6 months ago
Predicting Future User Actions by Observing Unmodified Applications
Intelligent user interfaces often rely on modified applications and detailed application models. Such modifications and models are expensive to build and maintain. We propose to a...
Peter Gorniak, David Poole
PTS
1998
81views Hardware» more  PTS 1998»
15 years 6 months ago
Testing Temporal Logic Properties in Distributed Systems
Based on the notion of event-based behavioral abstraction EBBA we specify properties of object-oriented distributed systems in linear time temporal logic. These properties are the...
Falk Dietrich, Xavier Logean, Shawn Koppenhoefer, ...
CEC
2010
IEEE
15 years 4 months ago
Genetic programming for Expert Systems
— Genetic programming is the usage of the paradigm of survival of the fittest in scientific computing. It is applied to evolve solutions to problems where dependencies between ...
Konrad Sickel, Joachim Hornegger