Sciweavers

1645 search results - page 110 / 329
» Rationale-Based Use Case Specification
Sort
View
SAFECOMP
1998
Springer
15 years 10 months ago
An Agenda for Specifying Software Components with Complex Data Models
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
Kirsten Winter, Thomas Santen, Maritta Heisel
KDD
2006
ACM
136views Data Mining» more  KDD 2006»
16 years 6 months ago
Mining quantitative correlated patterns using an information-theoretic approach
Existing research on mining quantitative databases mainly focuses on mining associations. However, mining associations is too expensive to be practical in many cases. In this pape...
Yiping Ke, James Cheng, Wilfred Ng
ICMCS
2005
IEEE
111views Multimedia» more  ICMCS 2005»
15 years 12 months ago
Optimized wireless video transmission using classification
— Cross protocol layer optimizations have been recently proposed for improving the performance of realtime video transmission over 802.11 WLANs. However, performing such cross-la...
Raymond S. Wong, Mihaela van der Schaar, Deepak S....
CLA
2006
15 years 7 months ago
Using FCA to Suggest Refactorings to Correct Design Defects
Abstract. Design defects are poor design choices resulting in a hard-tomaintain software, hence their detection and correction are key steps of a disciplined software process aimed...
Naouel Moha, Jihene Rezgui, Yann-Gaël Gu&eacu...
AI
2000
Springer
15 years 6 months ago
Using temporal logics to express search control knowledge for planning
Over the years increasingly sophisticated planning algorithms have been developed. These have made for more efficient planners, but unfortunately these planners still suffer from ...
Fahiem Bacchus, Froduald Kabanza