1551 search results - page 106 / 311 » How Typical is the |
126
click to vote
FM
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. The key to the integration of formal methods into engineering practice is education. In teaching, domain-independent problems -i.e., not requiring prior engineering backg...
132
click to vote
CC
2001
Springer
15 years 8 months ago
2001
Springer
Large programs are typically built from separate modules. Traditional whole-program analysis cannot be used in the context of such modular development. In this paper we consider an...
163
click to vote
AVI
2008
15 years 7 months ago
2008
An emerging trend in Web computing aims at collecting and integrating distributed data. For instance, community driven efforts recently have build ontological repositories made of...
132
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "on-thefly" during their execution. We are devel...
135
click to vote
IMC
2007
ACM
15 years 6 months ago
2007
ACM
Multi-hop wireless mesh networks are increasingly being deployed for last-mile Internet access. Typically, network algorithms such as routing, channel assignment and topology cont...