1432 search results - page 70 / 287 » Executable Protocol Models as a Requirements Engineering Too... |
125
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Multi-agent systems where the members are developed by parties with competing interests, and where there is no access to a member’s internal state, are often classified as ‘o...
148
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
OLTP (On-Line Transaction Processing) is an important business system sector in various traditional and emerging online services. Due to the increasing number of users, OLTP syste...
116
Voted
RE
2004
Springer
15 years 8 months ago
2004
Springer
One of the benefits of goal-oriented requirements engineering is the possibility of conducting formal analysis in order to evaluate alternative solutions of goal models. Superfici...
146
Voted
LCTRTS
2009
Springer
15 years 10 months ago
2009
Springer
The StreamIt programming model has been proposed to exploit parallelism in streaming applications on general purpose multicore architectures. The StreamIt graphs describe task, da...
133
Voted
ISSTA
2010
ACM
15 years 5 months ago
2010
ACM
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specifica...