2530 search results - page 310 / 506 » Dynamic topological logic |
154
click to vote
EUROMICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
—Current architectures for systems integration provide means for forming agile business processes by manually or dynamically configuring the components. However, a major challeng...
131
click to vote
ADC
2006
Springer
15 years 10 months ago
2006
Springer
The World Wide Web revolutionized the use of forms in everyday private and business life by allowing a move away from paper forms to easily accessible digital forms. Data captured...
154
click to vote
ESOP
2005
Springer
15 years 10 months ago
2005
Springer
Program slicing is a well-known methodology that aims at identifying the program statements that (potentially) affect the values computed at some point of interest. Within imperat...
164
click to vote
EPIA
2003
Springer
15 years 10 months ago
2003
Springer
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...
153
click to vote
CADE
2010
Springer
15 years 5 months ago
2010
Springer
Automated software verification and path-sensitive program analysis require the ability to distinguish executable program paths from those that are infeasible. To achieve this, pro...