Sciweavers

2777 search results - page 294 / 556
» Example centric programming
Sort
View
UML
2005
Springer
16 years 17 days ago
Modeling Crosscutting Services with UML Sequence Diagrams
Abstract. Current software systems increasingly consist of distributed interacting components. The use of web services and similar middleware technologies strongly fosters such arc...
Martin Deubler, Michael Meisinger, Sabine Rittmann...
ECAI
2004
Springer
16 years 15 days ago
Robust Solutions for Constraint Satisfaction and Optimization
Super solutions are a mechanism to provide robustness to constraint programs [10]. They are solutions in which, if a small number of variables lose their values, we are guaranteed ...
Emmanuel Hebrard, Brahim Hnich, Toby Walsh
HYBRID
2004
Springer
16 years 14 days ago
Inference Methods for Autonomous Stochastic Linear Hybrid Systems
We present a parameter inference algorithm for autonomous stochastic linear hybrid systems, which computes a maximum-likelihood model, given only a set of continuous output data of...
Hamsa Balakrishnan, Inseok Hwang, Jung Soon Jang, ...
HICSS
2003
IEEE
120views Biometrics» more  HICSS 2003»
16 years 12 days ago
A Primitive Study of Logrolling in e-Negotiation
e-Negotiation involves two or more agents multilaterally bargaining for mutual gain, using information technologies in a cooperative problem-solving (CPS) environment. This paper ...
Patrick C. K. Hung
199
Voted
IPPS
2003
IEEE
16 years 11 days ago
A Fast Algorithm for the Exhaustive Analysis of 12-Nucleotide-Long DNA Sequences. Applications to Human Genomics
We have developed a new algorithm that allows the exhaustive determination of words of up to 12 nucleotides in DNA sequences. It is fast enough as to be used at a genomic scale ru...
Vicente Arnau, Ignacio Marín