9006 search results - page 439 / 1802 » Modeling Software |
244
click to vote
ICSE
2009
IEEE-ACM
16 years 7 months ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
202
click to vote
ICWE
2009
Springer
15 years 11 months ago
2009
Springer
With the advent of the Web, search has become the prominent paradigm for information seeking, not only across the online space but also within enterprises. Search engine functiona...
161
click to vote
SAC
2004
ACM
16 years 7 days ago
2004
ACM
In this paper we present a multi-criteria model for electronic auctions, which is based on reference points. According to the model, the buyer must specify an aspiration point tha...
248
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
Concurrent software is difficult to verify. Because the thread schedule is not controlled by the application, testing may miss defects that occur under specific thread schedules. T...
179
click to vote
CAISE
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. Specification of systems in a software product line (product-line members) is often supported by domain-specific languages (DSLs) that provide pownguage abstractions for ...