14331 search results - page 2597 / 2867 » On the modeling and analysis of obligations |
175
click to vote
ECLIPSE
2005
ACM
15 years 9 months ago
2005
ACM
In this paper we describe NaCIN, an Eclipse plug-in that records a developer’s code navigation activity and produces sets of elements potentially implementing different concerns...
308
click to vote
CIBCB
2007
IEEE
15 years 9 months ago
2007
IEEE
—In metabolic engineering it is difficult to identify which set of genetic manipulations will result in a microbial strain that achieves a desired production goal, due to the co...
197
click to vote
CLEF
2008
Springer
15 years 9 months ago
2008
Springer
The domain-specific track evaluates retrieval models for structured scientific bibliographic collections in English, German and Russian. Documents contain elements (title, abstrac...
199
Voted
COMPGEOM
2008
ACM
15 years 9 months ago
2008
ACM
We investigate the complexity of the outer face in arrangements of line segments of a fixed length in the plane, drawn uniformly at random within a square. We derive upper bounds ...
223
Voted
SAC
2010
ACM
15 years 9 months ago
2010
ACM
The control flow of common processors does not match the specific needs of reactive systems. Key issues for these systems are preemption and concurrency, combined with timing pred...