5064 search results - page 646 / 1013 » Recent Developments in Gridsolve |
178
click to vote
IFIP
1994
Springer
15 years 10 months ago
1994
Springer
In recent years, systems for processing environmental information have been evolving from research and development systems to practical applications. Today, many of these systems ...
185
click to vote
LICS
1990
IEEE
15 years 10 months ago
1990
IEEE
E cient automatic model checking algorithms for real-time systems have been obtained in recent years based on the state region graph technique of Alur, Courcoubetis and Dill. Howev...
220
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Applying refactoring in a model-driven software engineering context raises many new challenges that need to be addressed. In this paper, we consider model-driven software...
161
click to vote
ASPDAC
2007
ACM
15 years 10 months ago
2007
ACM
Single-walled carbon nanotube (SWCNT) bundles have the potential to provide an attractive solution for the resistivity and electromigration problems faced by traditional copper int...
187
click to vote
AUSAI
2007
Springer
15 years 10 months ago
2007
Springer
Many real-world problems are over-constrained and require search techniques adapted to optimising cost functions rather than searching for consistency. This makes the MAX-SAT probl...