4047 search results - page 697 / 810 » Algebraic Model Checking |
106
Voted
RE
2006
Springer
15 years 22 days ago
2006
Springer
Scenarios and goals are effective techniques for requirements definition. Goals are objectives that a system has to meet. They are elaborated into a structure that decomposes decla...
109
Voted
IJMTM
2007
15 years 22 days ago
2007
Large, industry-wide interoperability projects use syntax-based standards approaches to accomplish interoperable data exchange among enterprise applications. We are investigating S...
114
Voted
AC
2002
Springer
15 years 21 days ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
100
Voted
ACL
2010
14 years 11 months ago
2010
This paper proposes a dependency parsing method that uses bilingual constraints to improve the accuracy of parsing bilingual texts (bitexts). In our method, a targetside tree frag...
120
click to vote
SECON
2010
IEEE
14 years 10 months ago
2010
IEEE
Reliability and predictability of the timing behavior have shown to be major issues for wireless sensor network deployments. Real-time requirements presented by several application...