780 search results - page 76 / 156 » Case Study: Model Transformations for Time-triggered Languag... |
137
click to vote
ACMICEC
2004
ACM
15 years 11 months ago
2004
ACM
Many companies have found out the hard way that successful ecommerce requires more than a flashy web presence. Existing business processes must be seamlessly integrated with the n...
161
click to vote
HICSS
2005
IEEE
15 years 11 months ago
2005
IEEE
— Legacy Information Systems (LIS) pose a challenge for many organizations. On one hand, LIS are viewed as aging systems needing replacement; on the other hand, years of accumula...
141
Voted
ICLP
2003
Springer
15 years 10 months ago
2003
Springer
We propose and study algorithms for computing minimal models, stable models and answer sets of 2- and 3-CNF theories, and normal and disjunctive 2- and 3-programs. We are especiall...
152
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
In probabilistic grammatical inference, a usual goal is to infer a good approximation of an unknown distribution P called a stochastic language. The estimate of P stands in some cl...
175
click to vote
SCESM
2006
ACM
15 years 11 months ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...