1304 search results - page 147 / 261 » Model-Driven Engineering for Requirements Analysis |
148
click to vote
ICECCS
2009
IEEE
15 years 2 months ago
2009
IEEE
In hard real-time systems such as avionics, computer board level designs are typically customized to meet specific reliability and real time requirements. This paper focuses on co...
125
click to vote
ENTCS
2010
15 years 1 months ago
2010
In this paper, we present Aspic, an automatic polyhedral invariant generation tool for flowcharts programs. Aspic implements an improved Linear Relation Analysis on numeric counte...
102
click to vote
ICSE
2004
IEEE-ACM
16 years 4 months ago
2004
IEEE-ACM
SLAng is an XML language for defining service level agreements, the part of a contract between the client and provider of an Internet service that describes the quality attributes...
138
click to vote
ENTER
2010
Springer
15 years 11 months ago
2010
Springer
Search engine marketing requires a substantive understanding of the dynamics of the search system in the travel information search context. The goal of this study is to explore th...
119
click to vote
CISIS
2009
IEEE
15 years 11 months ago
2009
IEEE
Structured, spatial-temporal data arises in many applications areas such as transportation, sensor networks or mobile services. Peer to peer networks are the natural choice for th...