1401 search results - page 251 / 281 » Tool Integration for Reasoned Programming |
ISQED
2005
IEEE
14 years 3 months ago
2005
IEEE
With continued aggressive process scaling in the subwavelength lithographic regime, resolution enhancement techniques (RETs) such as optical proximity correction (OPC) are an inte...
IV
2005
IEEE
14 years 3 months ago
2005
IEEE
Visualisation systems consisting of a set of components through which data and interaction commands flow have been explored by a number of researchers. Such hybrid and multistage ...
SFM
2005
Springer
14 years 3 months ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
SIGUCCS
2004
ACM
14 years 3 months ago
2004
ACM
In June 2003, Lehigh University embarked on an experiment to present incoming freshmen with an online pre-orientation experience using the SCT Luminis 3 Portal environment. Three ...
MOZ
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Although Constraint Programming (CP) is considered a useful tool for tackling combinatorial problems, its lack of flexibility when dealing with uncertainties and prefere...