1366 search results - page 191 / 274 » Modularizing Contexted Constraints |
135
click to vote
FMOODS
2008
15 years 4 months ago
2008
Abstract. Termination analysis has received considerable attention, traditionally in the context of declarative programming, and recently also for imperative languages. In existing...
138
click to vote
WCET
2008
15 years 4 months ago
2008
Real-Time embedded systems must enforce strict timing constraints. In this context, achieving precise Worst Case Execution Time is a prerequisite to apply scheduling analysis and ...
122
Voted
DAGSTUHL
2004
15 years 4 months ago
2004
One aim of tool integration is designing an integrated development environment that accesses the data/models of different tools and keeps them consistent throughout a project bein...
126
click to vote
ECSCW
2001
15 years 4 months ago
2001
This paper compares the properties of physical and digital workspaces in the context of a prototype of a collaborative virtual environment that has been developed with reference to...
105
click to vote
ECIR
2003
Springer
15 years 4 months ago
2003
Springer
This paper explores the use of texts that are related to an image collection, also known as collateral texts, for building thesauri in specialist domains to aid in image retrieval....