1257 search results - page 238 / 252 » Open Source Requirements Engineering |
112
click to vote
EMSOFT
2003
Springer
15 years 5 months ago
2003
Springer
We present a formalism for specifying component interfaces that expose component requirements on limited resources. The formalism permits an algorithmic check if two or more compon...
131
click to vote
WSDM
2012
ACM
13 years 7 months ago
2012
ACM
One popular form of semantic search observed in several modern search engines is to recognize query patterns that trigger instant answers or domain-specific search, producing sem...
103
click to vote
EUROSYS
2006
ACM
15 years 5 months ago
2006
ACM
K42 is one of the few recent research projects that is examining operating system design structure issues in the context of new whole-system design. K42 is open source and was des...
218
click to vote
PLDI
2009
ACM
16 years 12 days ago
2009
ACM
High-level languages are growing in popularity. However, decades of C software development have produced large libraries of fast, timetested, meritorious code that are impractical...
EUROSYS
2009
ACM
15 years 8 months ago
2009
ACM
Ksplice allows system administrators to apply patches to their operating system kernels without rebooting. Unlike previous hot update systems, Ksplice operates at the object code ...