2832 search results - page 230 / 567 » Flexible Modelling for Requirements Engineering |
134
click to vote
CONCUR
1989
Springer
15 years 10 months ago
1989
Springer
In summary, RDL is an intuitionistic temporal logic for the specification of requirements and design of time-dependent systems. Coverage of RDL includes a backward chaining theore...
198
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Concurrent programming languages should be a good fit for embedded systems because they match the intrinsic parallelism of their architectures and environments. Unfortunately, typ...
164
click to vote
SYRCODIS
2008
15 years 8 months ago
2008
Based on loosely coupled services in an XML engine, we describe how to realize fine-grained lock protocols, which can guarantee transaction isolation for applications using differ...
158
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
Organizing large document collections for finding information easily and quickly has always been an important user requirement. This paper describes a flexible and powerful dynami...
164
click to vote
EACL
2009
ACL Anthology
16 years 7 months ago
2009
ACL Anthology
Many methods are available for computing semantic similarity between individual words, but certain NLP tasks require the comparison of word pairs. This paper presents a kernel-bas...