1879 search results - page 277 / 376 » Extending Reflective Architectures |
203
click to vote
DAC
2005
ACM
16 years 5 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
121
click to vote
SIGSOFT
2005
ACM
16 years 4 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
142
click to vote
ISBI
2006
IEEE
16 years 4 months ago
2006
IEEE
This paper describes the development and application of methods to integrate research image analysis methods and software with a commercial image guided surgery navigation system ...
117
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
A fundamental task on the Grid is to decide what jobs to run on what computing resources based on job or application requirements. Our previous work on ontology-based matchmaking ...
150
click to vote
WWW
2003
ACM
16 years 4 months ago
2003
ACM
This paper presents a design methodology that deals with the presentation aspects involved in the development of a Semantic Web Information System. The methodology is driven by tw...