6751 search results - page 1316 / 1351 » Engineering Quality Requirements Using Quality Models |
137
click to vote
AC
2000
Springer
15 years 5 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
112
click to vote
FTRTFT
1998
Springer
15 years 5 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
120
click to vote
BMCBI
2007
15 years 1 months ago
2007
Background: Many online resources for the life sciences have been developed and introduced in peer-reviewed papers recently, ranging from databases and web applications to data-an...
172
click to vote
CORR
2010
Springer
14 years 12 months ago
2010
Springer
—Autonomous wireless agents such as unmanned aerial vehicles, mobile base stations, or self-operating wireless nodes present a great potential for deployment in next-generation w...
WWW
2009
ACM
16 years 2 months ago
2009
ACM
With the advent of Web 2.0 technologies, websites have evolved from static pages to dynamic, interactive Web-based applications with the ability to replicate common desktop functi...