7213 search results - page 1378 / 1443 » Automated model grouping |
ATAL
2005
Springer
15 years 3 months ago
2005
Springer
Collaboration plays a critical role when a team is striving for goals that are difficult to achieve by an individual. In previous work, we defined the ETAPP (Environment-TaskAgen...
FM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, and Margus Veanes Microsoft Research, Redmond, WA, USA Abstract. We describe a pract...
RECOMB
2005
Springer
15 years 3 months ago
2005
Springer
For studying gene regulatory and protein signaling networks, we have developed an interactive map for the Pseudomonas aeruginosa genome. We first represent genes, proteins and the...
SAFECOMP
2005
Springer
15 years 3 months ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
ASPLOS
2004
ACM
15 years 3 months ago
2004
ACM
Sampling has been successfully used to identify performance optimization opportunities. We would like to apply similar techniques to check program correctness. Unfortunately, samp...