3335 search results - page 351 / 667 » A Unified Approach to Modeling and Programming |
189
click to vote
SPIN
2004
Springer
16 years 1 hour ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
162
click to vote
GPCE
2003
Springer
15 years 12 months ago
2003
Springer
A primary goal of generative programming and model-driven ent is to raise the level of abstraction at which designers and developers interact with the software systems they are bui...
179
click to vote
ECOOP
2006
Springer
15 years 8 months ago
2006
Springer
Real-time systems are notoriously difficult to design and implement, and, as many real-time problems are safety-critical, their solutions must be reliable as well as efficient and ...
193
click to vote
KDD
2007
ACM
16 years 24 days ago
2007
ACM
In this paper we discuss the important practical problem of customer wallet estimation, i.e., estimation of potential spending by customers (rather than their expected spending). ...
190
click to vote
ENTCS
2008
15 years 6 months ago
2008
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...