7288 search results - page 363 / 1458 » On process rate semantics |
189
Voted
ICSE
2000
IEEE-ACM
15 years 10 months ago
2000
IEEE-ACM
: Producing More Reliable Software: Mature Software Engineering Process vs. State-of-the-Art Technology? A customer of high assurance software recently sponsored a software enginee...
183
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Through the use of DNA microarrays it is now possible to obtain quantitative measurements of the expression of thousands of genes from a biological sample. This techno...
202
click to vote
ESOP
2010
Springer
16 years 1 months ago
2010
Springer
Stream processing applications such as algorithmic trading, MPEG processing, and web content analysis are ubiquitous and essential to business and entertainment. Language designers...
171
click to vote
ICNP
2006
IEEE
16 years 24 days ago
2006
IEEE
— Internet routers today can be overwhelmed by a large number of BGP updates triggered by events such as session resets, link failures, and policy changes. Such excessive updates...
181
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Research in life sciences is benefiting from a large availability of formal description techniques and analysis methodologies. These allow both the phenomena investiga...